the shoehorn is a germaneness.
sent1: if the shoe is non-interfacial a Unitarian it is a drippiness. sent2: the shoehorn is a kind of a footbridge that is ropey. sent3: the quoits is not a Unitarian. sent4: that something is a germaneness that is not a footbridge does not hold if it is not unpronounceable. sent5: something that is a drippiness is unpronounceable. sent6: if the quoits is a drippiness then it is a kind of non-ropey thing that is unpronounceable. sent7: the shoehorn is ropey. sent8: the shoe is not a kind of a drippiness if that the fact that either the quoits is a kind of a Wood or it is not a drippiness or both is not true hold. sent9: if the quoits is not a Wood then the shoe is not a kind of a Unitarian. sent10: the quoits is not a Wood. sent11: if something that is not interfacial is not a Unitarian it is a drippiness. sent12: if the quoits is not a Wood the shoe is not interfacial and not Unitarian. sent13: if the shoehorn is not a drippiness then the shoe is not unpronounceable and it is not a footbridge. sent14: if something that is not interfacial is Unitarian then it is a kind of a drippiness. sent15: if something that is not a Wood is not a footbridge the fact that it is unpronounceable hold. sent16: the shoe is not unpronounceable if the shoehorn is a kind of a footbridge and it is a kind of a germaneness. sent17: if that the shoehorn is a kind of a germaneness but it is not a kind of a footbridge is not true the windowsill is non-ropey. sent18: if something is not a drippiness that it is interfacial and it is unpronounceable is not correct. sent19: the quoits is not ropey. sent20: that the shoe is not Unitarian is correct.
sent2 -> int1: the shoehorn is a footbridge.; void -> assump1: Let's assume that the shoehorn is a germaneness.; int1 & assump1 -> int2: the shoehorn is a kind of a footbridge and it is a germaneness.; int2 & sent16 -> int3: the shoe is not unpronounceable.; sent5 -> int4: that the shoe is unpronounceable is not wrong if it is a drippiness.; sent11 -> int5: if the shoe is not interfacial and is non-Unitarian then it is a drippiness.; sent12 & sent10 -> int6: the shoe is not interfacial and is not a Unitarian.; int5 & int6 -> int7: the shoe is a kind of a drippiness.; int4 & int7 -> int8: the shoe is unpronounceable.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the fact that the shoehorn is a germaneness is not incorrect.
$hypothesis$ = the shoehorn is a germaneness. ; $context$ = sent1: if the shoe is non-interfacial a Unitarian it is a drippiness. sent2: the shoehorn is a kind of a footbridge that is ropey. sent3: the quoits is not a Unitarian. sent4: that something is a germaneness that is not a footbridge does not hold if it is not unpronounceable. sent5: something that is a drippiness is unpronounceable. sent6: if the quoits is a drippiness then it is a kind of non-ropey thing that is unpronounceable. sent7: the shoehorn is ropey. sent8: the shoe is not a kind of a drippiness if that the fact that either the quoits is a kind of a Wood or it is not a drippiness or both is not true hold. sent9: if the quoits is not a Wood then the shoe is not a kind of a Unitarian. sent10: the quoits is not a Wood. sent11: if something that is not interfacial is not a Unitarian it is a drippiness. sent12: if the quoits is not a Wood the shoe is not interfacial and not Unitarian. sent13: if the shoehorn is not a drippiness then the shoe is not unpronounceable and it is not a footbridge. sent14: if something that is not interfacial is Unitarian then it is a kind of a drippiness. sent15: if something that is not a Wood is not a footbridge the fact that it is unpronounceable hold. sent16: the shoe is not unpronounceable if the shoehorn is a kind of a footbridge and it is a kind of a germaneness. sent17: if that the shoehorn is a kind of a germaneness but it is not a kind of a footbridge is not true the windowsill is non-ropey. sent18: if something is not a drippiness that it is interfacial and it is unpronounceable is not correct. sent19: the quoits is not ropey. sent20: that the shoe is not Unitarian is correct. ; $proof$ = 
sent2 -> int1: the shoehorn is a footbridge.; void -> assump1: Let's assume that the shoehorn is a germaneness.; int1 & assump1 -> int2: the shoehorn is a kind of a footbridge and it is a germaneness.; int2 & sent16 -> int3: the shoe is not unpronounceable.; sent5 -> int4: that the shoe is unpronounceable is not wrong if it is a drippiness.; sent11 -> int5: if the shoe is not interfacial and is non-Unitarian then it is a drippiness.; sent12 & sent10 -> int6: the shoe is not interfacial and is not a Unitarian.; int5 & int6 -> int7: the shoe is a kind of a drippiness.; int4 & int7 -> int8: the shoe is unpronounceable.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__