the hatpin is not urinary or is a reasoned or both.
sent1: that the gaffsail is a phasmid hold if it is not non-urinary and it does not reason. sent2: if something is a phasmid but it is not autologous it is a rally. sent3: if there is something such that it is not monocarpic then the time-switch is transcultural and does not squinch frontage. sent4: the fact that there are non-monocarpic things hold. sent5: the goose does predate guyot but it is not a billy. sent6: if something does rally it predates dislodgment. sent7: the fact that either the hatpin is not urinary or it does reason or both is wrong if the gaffsail does reason. sent8: the gaffsail is a kind of a reasoned if there is something such that the fact that it is a kind of a phasmid and it is not autologous is not true. sent9: something does not predate dislodgment if it is a kind of transcultural thing that does not squinch frontage.
sent2 -> int1: the time-switch does rally if it is a phasmid and is not autologous.; void -> assump1: Let's assume that the time-switch is a kind of a phasmid but it is not autologous.; int1 & assump1 -> int2: the time-switch rallies.; sent6 -> int3: the time-switch predates dislodgment if it is a rally.; int2 & int3 -> int4: the time-switch predates dislodgment.; sent9 -> int5: if the time-switch is transcultural but it does not squinch frontage it does not predate dislodgment.; sent4 & sent3 -> int6: the time-switch is a kind of transcultural thing that does not squinch frontage.; int5 & int6 -> int7: the time-switch does not predate dislodgment.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the time-switch is a phasmid but it is not autologous is wrong.; int9 -> int10: there is something such that the fact that it is a phasmid and it is not autologous is incorrect.; int10 & sent8 -> int11: the gaffsail does reason.; int11 & sent7 -> hypothesis;
$hypothesis$ = the hatpin is not urinary or is a reasoned or both. ; $context$ = sent1: that the gaffsail is a phasmid hold if it is not non-urinary and it does not reason. sent2: if something is a phasmid but it is not autologous it is a rally. sent3: if there is something such that it is not monocarpic then the time-switch is transcultural and does not squinch frontage. sent4: the fact that there are non-monocarpic things hold. sent5: the goose does predate guyot but it is not a billy. sent6: if something does rally it predates dislodgment. sent7: the fact that either the hatpin is not urinary or it does reason or both is wrong if the gaffsail does reason. sent8: the gaffsail is a kind of a reasoned if there is something such that the fact that it is a kind of a phasmid and it is not autologous is not true. sent9: something does not predate dislodgment if it is a kind of transcultural thing that does not squinch frontage. ; $proof$ = 
sent2 -> int1: the time-switch does rally if it is a phasmid and is not autologous.; void -> assump1: Let's assume that the time-switch is a kind of a phasmid but it is not autologous.; int1 & assump1 -> int2: the time-switch rallies.; sent6 -> int3: the time-switch predates dislodgment if it is a rally.; int2 & int3 -> int4: the time-switch predates dislodgment.; sent9 -> int5: if the time-switch is transcultural but it does not squinch frontage it does not predate dislodgment.; sent4 & sent3 -> int6: the time-switch is a kind of transcultural thing that does not squinch frontage.; int5 & int6 -> int7: the time-switch does not predate dislodgment.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the time-switch is a phasmid but it is not autologous is wrong.; int9 -> int10: there is something such that the fact that it is a phasmid and it is not autologous is incorrect.; int10 & sent8 -> int11: the gaffsail does reason.; int11 & sent7 -> hypothesis; __DISPROVED__