the koto is fictile.
sent1: the protectionist is wearable if the lithomancer is a continent. sent2: that the protectionist is not incontinent if something is not unwearable hold. sent3: the lithomancer reassails lithomancer and is wearable. sent4: the niggard is a continent. sent5: the lithomancer does reassail lithomancer. sent6: the protectionist is a lid. sent7: if the protectionist is continent the chloroform is a rounders. sent8: the koto is fictile if the chloroform is a rounders. sent9: if something is a rounders the lithomancer does reassail lithomancer. sent10: something is not fictile if it is wearable or it is not fictile or both. sent11: the lithomancer is a Temuco.
sent3 -> int1: the lithomancer is wearable.; int1 -> int2: something is wearable.; int2 & sent2 -> int3: the protectionist is a continent.; sent7 & int3 -> int4: the chloroform is a rounders.; sent8 & int4 -> hypothesis;
the koto is not fictile.
sent10 -> int5: if the koto is wearable and/or it is not fictile then that it is not fictile is not wrong.;
$hypothesis$ = the koto is fictile. ; $context$ = sent1: the protectionist is wearable if the lithomancer is a continent. sent2: that the protectionist is not incontinent if something is not unwearable hold. sent3: the lithomancer reassails lithomancer and is wearable. sent4: the niggard is a continent. sent5: the lithomancer does reassail lithomancer. sent6: the protectionist is a lid. sent7: if the protectionist is continent the chloroform is a rounders. sent8: the koto is fictile if the chloroform is a rounders. sent9: if something is a rounders the lithomancer does reassail lithomancer. sent10: something is not fictile if it is wearable or it is not fictile or both. sent11: the lithomancer is a Temuco. ; $proof$ = 
sent3 -> int1: the lithomancer is wearable.; int1 -> int2: something is wearable.; int2 & sent2 -> int3: the protectionist is a continent.; sent7 & int3 -> int4: the chloroform is a rounders.; sent8 & int4 -> hypothesis; __PROVED__