あの望み薄は見境無い
fact1: もしも「何らかの物はしつっこいがしかしペンキ塗りでない」ということは成り立たないならばしつっこくない fact2: 仮に何らかのものが田舎臭くないかもしくはガソリン代だということはないならばそれは自然らしくない fact3: 仮にあの望み薄が親しくないならばそれは見境無くない fact4: 仮に何かは親しくないかもしくはそれは組織成員でないかまたは両方ともであるならそれは見境無いということはない fact5: あの望み薄は親しいかあるいは組織成員でないか両方ともだ fact6: もしもあの望み薄が電動式冷却ファンだとしたらそれは著作者でないかまたは親しくない fact7: あの安居院は親しい fact8: 親しくない物は見境無くない fact9: もし仮にあの望み薄がしつっこいとしたらそれは親しいかもしくは組織成員でない fact10: あの望み薄はしつっこい fact11: もし仮に「あの望み薄はしつっこい」ということは成り立つとしたらそれは親しいということはないかまたはそれは組織成員でない fact12: 仮にあの望み薄は松茸御飯でないとしたら見境無くてかつ百姓らしい fact13: もしもあの望み薄がしつっこいならば図太くないかまたは伸び悩みでないかまたは両方ともだ fact14: 仮にこの第二項各号がしつっこいならばあの望み薄は見境無い
fact11 & fact10 -> int1: あの望み薄は親しいということはないかあるいは組織成員でないかあるいは両方ともである; fact4 -> int2: もしあの望み薄が親しくないかあるいはそれは組織成員でないかあるいは両方であるとしたら見境無くない; int1 & int2 -> hypothesis;
あの解法はしつっこくない
fact16 -> int3: 「「あの解法はしつっこい一方でそれはペンキ塗りでない」ということは間違っている」ということは成り立つならそれはしつっこくない;
$facts$ = fact1: もしも「何らかの物はしつっこいがしかしペンキ塗りでない」ということは成り立たないならばしつっこくない fact2: 仮に何らかのものが田舎臭くないかもしくはガソリン代だということはないならばそれは自然らしくない fact3: 仮にあの望み薄が親しくないならばそれは見境無くない fact4: 仮に何かは親しくないかもしくはそれは組織成員でないかまたは両方ともであるならそれは見境無いということはない fact5: あの望み薄は親しいかあるいは組織成員でないか両方ともだ fact6: もしもあの望み薄が電動式冷却ファンだとしたらそれは著作者でないかまたは親しくない fact7: あの安居院は親しい fact8: 親しくない物は見境無くない fact9: もし仮にあの望み薄がしつっこいとしたらそれは親しいかもしくは組織成員でない fact10: あの望み薄はしつっこい fact11: もし仮に「あの望み薄はしつっこい」ということは成り立つとしたらそれは親しいということはないかまたはそれは組織成員でない fact12: 仮にあの望み薄は松茸御飯でないとしたら見境無くてかつ百姓らしい fact13: もしもあの望み薄がしつっこいならば図太くないかまたは伸び悩みでないかまたは両方ともだ fact14: 仮にこの第二項各号がしつっこいならばあの望み薄は見境無い ; $hypothesis$ = あの望み薄は見境無い ; $proof$ = 
fact11 & fact10 -> int1: あの望み薄は親しいということはないかあるいは組織成員でないかあるいは両方ともである; fact4 -> int2: もしあの望み薄が親しくないかあるいはそれは組織成員でないかあるいは両方であるとしたら見境無くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「何らかの物はしつっこいがしかしペンキ塗りでない」ということは成り立たないならばしつっこくない
事実2: 仮に何らかのものが田舎臭くないかもしくはガソリン代だということはないならばそれは自然らしくない
事実3: 仮にあの望み薄が親しくないならばそれは見境無くない
事実4: 仮に何かは親しくないかもしくはそれは組織成員でないかまたは両方ともであるならそれは見境無いということはない
事実5: あの望み薄は親しいかあるいは組織成員でないか両方ともだ
事実6: もしもあの望み薄が電動式冷却ファンだとしたらそれは著作者でないかまたは親しくない
事実7: あの安居院は親しい
事実8: 親しくない物は見境無くない
事実9: もし仮にあの望み薄がしつっこいとしたらそれは親しいかもしくは組織成員でない
事実10: あの望み薄はしつっこい
事実11: もし仮に「あの望み薄はしつっこい」ということは成り立つとしたらそれは親しいということはないかまたはそれは組織成員でない
事実12: 仮にあの望み薄は松茸御飯でないとしたら見境無くてかつ百姓らしい
事実13: もしもあの望み薄がしつっこいならば図太くないかまたは伸び悩みでないかまたは両方ともだ
事実14: 仮にこの第二項各号がしつっこいならばあの望み薄は見境無い

仮説: あの望み薄は見境無い
1. 事実11と事実10から、推論1: "あの望み薄は親しいということはないかあるいは組織成員でないかあるいは両方ともである"が導かれる
2. 事実4から、推論2: "もしあの望み薄が親しくないかあるいはそれは組織成員でないかあるいは両方であるとしたら見境無くない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。