the swan is not a gyrus.
sent1: that the anaerobe is both unenthusiastic and not aphanitic is right. sent2: the swan is not a kind of a gyrus if the clavier is a gyrus. sent3: the swan is a gyrus if the Grey is aphanitic and does not defrost. sent4: the Grey does not defrost if the anaerobe is not unenthusiastic. sent5: the anaerobe is not a gyrus if the fact that the clavier is a kind of a wiggler and it is unenthusiastic is incorrect. sent6: that the Grey is predestinarian and it is a gyrus is wrong. sent7: the fact that the clavier is aphanitic is true. sent8: the clavier is not a kind of a wiggler. sent9: the clavier is predestinarian. sent10: the nephron is predestinarian. sent11: if the clavier is not a wiggler the fact that the anaerobe is not written and it is unenthusiastic is not true. sent12: that the Grey is predestinarian is not wrong. sent13: the radicle does defrost and does not wrest Myrmecophagidae. sent14: the Grey is not comparable. sent15: if that the anaerobe is unwritten thing that is unenthusiastic does not hold the Grey does not defrost. sent16: the Grey is a wiggler. sent17: if something is predestinarian that it is aphanitic is correct.
sent11 & sent8 -> int1: that the anaerobe is unwritten thing that is unenthusiastic does not hold.; int1 & sent15 -> int2: the Grey does not defrost.; sent17 -> int3: if that the Grey is predestinarian is correct it is aphanitic.; int3 & sent12 -> int4: the Grey is aphanitic.; int2 & int4 -> int5: the Grey is aphanitic and does not defrost.; int5 & sent3 -> hypothesis;
the swan is not a kind of a gyrus.
$hypothesis$ = the swan is not a gyrus. ; $context$ = sent1: that the anaerobe is both unenthusiastic and not aphanitic is right. sent2: the swan is not a kind of a gyrus if the clavier is a gyrus. sent3: the swan is a gyrus if the Grey is aphanitic and does not defrost. sent4: the Grey does not defrost if the anaerobe is not unenthusiastic. sent5: the anaerobe is not a gyrus if the fact that the clavier is a kind of a wiggler and it is unenthusiastic is incorrect. sent6: that the Grey is predestinarian and it is a gyrus is wrong. sent7: the fact that the clavier is aphanitic is true. sent8: the clavier is not a kind of a wiggler. sent9: the clavier is predestinarian. sent10: the nephron is predestinarian. sent11: if the clavier is not a wiggler the fact that the anaerobe is not written and it is unenthusiastic is not true. sent12: that the Grey is predestinarian is not wrong. sent13: the radicle does defrost and does not wrest Myrmecophagidae. sent14: the Grey is not comparable. sent15: if that the anaerobe is unwritten thing that is unenthusiastic does not hold the Grey does not defrost. sent16: the Grey is a wiggler. sent17: if something is predestinarian that it is aphanitic is correct. ; $proof$ = 
sent11 & sent8 -> int1: that the anaerobe is unwritten thing that is unenthusiastic does not hold.; int1 & sent15 -> int2: the Grey does not defrost.; sent17 -> int3: if that the Grey is predestinarian is correct it is aphanitic.; int3 & sent12 -> int4: the Grey is aphanitic.; int2 & int4 -> int5: the Grey is aphanitic and does not defrost.; int5 & sent3 -> hypothesis; __DISPROVED__