the fact that there is something such that if it is not a Austronesian then it does not log blood is incorrect.
sent1: the fact that something logs headstock and it transaminates agriculturist is incorrect if it is not Austronesian. sent2: the phosphine is an octave if the fact that the condor is not uninformative and/or transaminates alliteration is not right. sent3: if the romanticist is a Austronesian it does not log blood and it logs headstock. sent4: something does not log blood and logs headstock if it is not Austronesian. sent5: something is not a Austronesian but it is a kind of a Daba if it is a kind of an octave. sent6: if there is something such that the fact that it does log headstock and it does transaminate agriculturist is false the agriculturist does not log headstock. sent7: that something is not uninformative and/or it transaminates alliteration is not correct if it is not a kind of a barter. sent8: that something is a kind of a fucker and it does barter is incorrect if it is not democratic. sent9: if that something is a fucker and it is a kind of a barter is not true it is not a barter. sent10: that something is not a Spalacidae and is a self-portrait is not false if it is not a kind of a uninsurability. sent11: if the romanticist is non-Austronesian then it does log headstock. sent12: the condor is not democratic.
sent4 -> int1: the romanticist does not log blood but it logs headstock if it is not Austronesian.; void -> assump1: Let's assume that the romanticist is not a Austronesian.; int1 & assump1 -> int2: the romanticist does not log blood and logs headstock.; int2 -> int3: the romanticist does not log blood.; [assump1] & int3 -> int4: if the romanticist is not a kind of a Austronesian it does not log blood.; int4 -> hypothesis;
the agriculturist does not log headstock.
sent1 -> int5: if the phosphine is not Austronesian then the fact that it does log headstock and does transaminate agriculturist is incorrect.; sent5 -> int6: if the phosphine is an octave it is not a Austronesian and is a Daba.; sent7 -> int7: the fact that the condor either is not uninformative or transaminates alliteration or both does not hold if it is not a barter.; sent9 -> int8: the condor is not a barter if the fact that it is a fucker that does barter is not right.; sent8 -> int9: if the condor is undemocratic that it is both a fucker and a barter is incorrect.; int9 & sent12 -> int10: the fact that the condor is a fucker and it is a barter is false.; int8 & int10 -> int11: the condor is not a barter.; int7 & int11 -> int12: the fact that the condor is not uninformative and/or it does transaminate alliteration is not true.; sent2 & int12 -> int13: the phosphine is an octave.; int6 & int13 -> int14: the phosphine is not a Austronesian but a Daba.; int14 -> int15: the phosphine is not Austronesian.; int5 & int15 -> int16: that the phosphine does log headstock and it transaminates agriculturist does not hold.; int16 -> int17: there is something such that that it does log headstock and does transaminate agriculturist is not right.; int17 & sent6 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a Austronesian then it does not log blood is incorrect. ; $context$ = sent1: the fact that something logs headstock and it transaminates agriculturist is incorrect if it is not Austronesian. sent2: the phosphine is an octave if the fact that the condor is not uninformative and/or transaminates alliteration is not right. sent3: if the romanticist is a Austronesian it does not log blood and it logs headstock. sent4: something does not log blood and logs headstock if it is not Austronesian. sent5: something is not a Austronesian but it is a kind of a Daba if it is a kind of an octave. sent6: if there is something such that the fact that it does log headstock and it does transaminate agriculturist is false the agriculturist does not log headstock. sent7: that something is not uninformative and/or it transaminates alliteration is not correct if it is not a kind of a barter. sent8: that something is a kind of a fucker and it does barter is incorrect if it is not democratic. sent9: if that something is a fucker and it is a kind of a barter is not true it is not a barter. sent10: that something is not a Spalacidae and is a self-portrait is not false if it is not a kind of a uninsurability. sent11: if the romanticist is non-Austronesian then it does log headstock. sent12: the condor is not democratic. ; $proof$ = 
sent4 -> int1: the romanticist does not log blood but it logs headstock if it is not Austronesian.; void -> assump1: Let's assume that the romanticist is not a Austronesian.; int1 & assump1 -> int2: the romanticist does not log blood and logs headstock.; int2 -> int3: the romanticist does not log blood.; [assump1] & int3 -> int4: if the romanticist is not a kind of a Austronesian it does not log blood.; int4 -> hypothesis; __DISPROVED__