あの取り立て機関は疲れる
fact1: もし仮に何かは心苦しいとしたら「それは合併し易いということはないが出現し易い」ということは真実であるということはない fact2: あの取り立て機関は提供し得るしまたそれは心苦しい fact3: もしとあるものは出現し易いということはないならば「芳しいししかも後ろ暗い」ということは誤っている fact4: 出現し易い物が芳しくないとすると後ろ暗い fact5: あの取り立て機関は疲れる fact6: あの取り立て機関は憎し fact7: あのヘッジは疲れる fact8: もし仮に「なにがしかのものは覚え難い一方でそれは疲れない」ということは成り立つということはないとすれば疲れる fact9: そのメッシュは疲れる fact10: もし仮にあの取り立て機関は後ろ暗くないとしたら「あのトレーサ軌跡は覚え難いが疲れない」ということは間違いである fact11: もし後ろ暗いものが覚え難いとすると疲れない fact12: もし「何かは芳しいし後ろ暗い」ということは成り立たないとしたら後ろ暗くない fact13: この燐放出は疲れる fact14: もし仮に「あるものは合併し易くない一方でそれは出現し易い」ということは成り立たないならそれは出現し易くない
fact5 -> hypothesis;
fact5 -> hypothesis;
あの取り立て機関は疲れない
fact15 -> int1: 仮にあの取り立て機関が後ろ暗いししかもそれが覚え難いとすれば疲れない; fact16 -> int2: もし仮にあの取り立て機関が出現し易いがしかしそれが芳しくないならそれは後ろ暗い;
$facts$ = fact1: もし仮に何かは心苦しいとしたら「それは合併し易いということはないが出現し易い」ということは真実であるということはない fact2: あの取り立て機関は提供し得るしまたそれは心苦しい fact3: もしとあるものは出現し易いということはないならば「芳しいししかも後ろ暗い」ということは誤っている fact4: 出現し易い物が芳しくないとすると後ろ暗い fact5: あの取り立て機関は疲れる fact6: あの取り立て機関は憎し fact7: あのヘッジは疲れる fact8: もし仮に「なにがしかのものは覚え難い一方でそれは疲れない」ということは成り立つということはないとすれば疲れる fact9: そのメッシュは疲れる fact10: もし仮にあの取り立て機関は後ろ暗くないとしたら「あのトレーサ軌跡は覚え難いが疲れない」ということは間違いである fact11: もし後ろ暗いものが覚え難いとすると疲れない fact12: もし「何かは芳しいし後ろ暗い」ということは成り立たないとしたら後ろ暗くない fact13: この燐放出は疲れる fact14: もし仮に「あるものは合併し易くない一方でそれは出現し易い」ということは成り立たないならそれは出現し易くない ; $hypothesis$ = あの取り立て機関は疲れる ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮に何かは心苦しいとしたら「それは合併し易いということはないが出現し易い」ということは真実であるということはない
事実2: あの取り立て機関は提供し得るしまたそれは心苦しい
事実3: もしとあるものは出現し易いということはないならば「芳しいししかも後ろ暗い」ということは誤っている
事実4: 出現し易い物が芳しくないとすると後ろ暗い
事実5: あの取り立て機関は疲れる
事実6: あの取り立て機関は憎し
事実7: あのヘッジは疲れる
事実8: もし仮に「なにがしかのものは覚え難い一方でそれは疲れない」ということは成り立つということはないとすれば疲れる
事実9: そのメッシュは疲れる
事実10: もし仮にあの取り立て機関は後ろ暗くないとしたら「あのトレーサ軌跡は覚え難いが疲れない」ということは間違いである
事実11: もし後ろ暗いものが覚え難いとすると疲れない
事実12: もし「何かは芳しいし後ろ暗い」ということは成り立たないとしたら後ろ暗くない
事実13: この燐放出は疲れる
事実14: もし仮に「あるものは合併し易くない一方でそれは出現し易い」ということは成り立たないならそれは出現し易くない

仮説: あの取り立て機関は疲れる
1. 事実5から、仮説が導かれる

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