あの算盤は監視し易くないしおまけにパンクしない
fact1: あの算盤は滲み始めない fact2: あの算盤は浮き出さない fact3: もしもあの算盤が浮き出さないとしたらそれは監視し易くないしパンクするということはない fact4: 仮に「なにがしかの物は点でない一方で礼儀正しい」ということは誤りであるとしたら「設置しない」ということは正しい fact5: もしもなにかは設置しないならば浮き出すしまた日和である fact6: 仮に「あの目先は力無いしおまけに兼任する」ということは誤りであるならあの算盤は本社工場でない fact7: 「あの算盤は監視し易いということはない」ということは成り立つ fact8: あの事前通知はパンクしない fact9: もしもとある物が浮き出すなら眼鏡犬でないし漏れ易いということはない fact10: 何かは設置しないならばそれは日和で浮き出す fact11: もしもとある物は本社工場でないならば「それは点でないが礼儀正しい」ということは成り立たない fact12: この楣は支え切れなくてそれに各スクリプトでない fact13: もし仮にあの算盤は設置しないならば「この山海図は設置しない」ということは真実だ fact14: もし仮にあの算盤は浮き出すということはないなら「それは監視し易い」ということは間違いである fact15: あの目先は浮き出すとすると「あの算盤は監視し易くないしそれはパンクしない」ということは誤りである
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「あの算盤は監視し易くないしパンクしない」ということは偽である
fact16 -> int1: もしあの目先が設置しないとしたらそれが日和だしかつ浮き出す;
$facts$ = fact1: あの算盤は滲み始めない fact2: あの算盤は浮き出さない fact3: もしもあの算盤が浮き出さないとしたらそれは監視し易くないしパンクするということはない fact4: 仮に「なにがしかの物は点でない一方で礼儀正しい」ということは誤りであるとしたら「設置しない」ということは正しい fact5: もしもなにかは設置しないならば浮き出すしまた日和である fact6: 仮に「あの目先は力無いしおまけに兼任する」ということは誤りであるならあの算盤は本社工場でない fact7: 「あの算盤は監視し易いということはない」ということは成り立つ fact8: あの事前通知はパンクしない fact9: もしもとある物が浮き出すなら眼鏡犬でないし漏れ易いということはない fact10: 何かは設置しないならばそれは日和で浮き出す fact11: もしもとある物は本社工場でないならば「それは点でないが礼儀正しい」ということは成り立たない fact12: この楣は支え切れなくてそれに各スクリプトでない fact13: もし仮にあの算盤は設置しないならば「この山海図は設置しない」ということは真実だ fact14: もし仮にあの算盤は浮き出すということはないなら「それは監視し易い」ということは間違いである fact15: あの目先は浮き出すとすると「あの算盤は監視し易くないしそれはパンクしない」ということは誤りである ; $hypothesis$ = あの算盤は監視し易くないしおまけにパンクしない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: あの算盤は滲み始めない
事実2: あの算盤は浮き出さない
事実3: もしもあの算盤が浮き出さないとしたらそれは監視し易くないしパンクするということはない
事実4: 仮に「なにがしかの物は点でない一方で礼儀正しい」ということは誤りであるとしたら「設置しない」ということは正しい
事実5: もしもなにかは設置しないならば浮き出すしまた日和である
事実6: 仮に「あの目先は力無いしおまけに兼任する」ということは誤りであるならあの算盤は本社工場でない
事実7: 「あの算盤は監視し易いということはない」ということは成り立つ
事実8: あの事前通知はパンクしない
事実9: もしもとある物が浮き出すなら眼鏡犬でないし漏れ易いということはない
事実10: 何かは設置しないならばそれは日和で浮き出す
事実11: もしもとある物は本社工場でないならば「それは点でないが礼儀正しい」ということは成り立たない
事実12: この楣は支え切れなくてそれに各スクリプトでない
事実13: もし仮にあの算盤は設置しないならば「この山海図は設置しない」ということは真実だ
事実14: もし仮にあの算盤は浮き出すということはないなら「それは監視し易い」ということは間違いである
事実15: あの目先は浮き出すとすると「あの算盤は監視し易くないしそれはパンクしない」ということは誤りである

仮説: あの算盤は監視し易くないしおまけにパンクしない
1. 事実3と事実2から、仮説が導かれる

よって、仮説が証明されました。