その病巣はせこい
fact1: その設置認可は拙いということはないならば「侘しくないしかつそれは京都らしいということはない」ということは間違いである fact2: 「このテルペンは吹き易くないけどそれは習合する」ということは本当であるということはない fact3: あの着物姿は吹き易い fact4: もし仮に「このテルペンは吹き易い」ということは正しいならその病巣はせこい fact5: 全ては無線通信だ fact6: このテルペンがせこいが石淋でないとすればその病巣はせこいということはない fact7: 「このテルペンは吹き易くないがそれは習合する」ということは成り立たないならその病巣はせこい fact8: 「このテルペンは吹き易いしそれは習合する」ということは成り立たない fact9: もしもなんらかの物が無線通信だとするとこっ酷くないしそれにそれは経営環境でない
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
「その病巣はせこくない」ということは成り立つ
fact12 -> int1: 仮にこのラが無線通信であるとしたらこっ酷くなくて更にそれは経営環境でない; fact13 -> int2: このラは無線通信である; int1 & int2 -> int3: このラはこっ酷くないし経営環境でない; int3 -> int4: 全ての物はこっ酷くないし経営環境であるということはない; int4 -> int5: その設置認可がこっ酷くないしさらにそれは経営環境でない;
$facts$ = fact1: その設置認可は拙いということはないならば「侘しくないしかつそれは京都らしいということはない」ということは間違いである fact2: 「このテルペンは吹き易くないけどそれは習合する」ということは本当であるということはない fact3: あの着物姿は吹き易い fact4: もし仮に「このテルペンは吹き易い」ということは正しいならその病巣はせこい fact5: 全ては無線通信だ fact6: このテルペンがせこいが石淋でないとすればその病巣はせこいということはない fact7: 「このテルペンは吹き易くないがそれは習合する」ということは成り立たないならその病巣はせこい fact8: 「このテルペンは吹き易いしそれは習合する」ということは成り立たない fact9: もしもなんらかの物が無線通信だとするとこっ酷くないしそれにそれは経営環境でない ; $hypothesis$ = その病巣はせこい ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: その設置認可は拙いということはないならば「侘しくないしかつそれは京都らしいということはない」ということは間違いである
事実2: 「このテルペンは吹き易くないけどそれは習合する」ということは本当であるということはない
事実3: あの着物姿は吹き易い
事実4: もし仮に「このテルペンは吹き易い」ということは正しいならその病巣はせこい
事実5: 全ては無線通信だ
事実6: このテルペンがせこいが石淋でないとすればその病巣はせこいということはない
事実7: 「このテルペンは吹き易くないがそれは習合する」ということは成り立たないならその病巣はせこい
事実8: 「このテルペンは吹き易いしそれは習合する」ということは成り立たない
事実9: もしもなんらかの物が無線通信だとするとこっ酷くないしそれにそれは経営環境でない

仮説: その病巣はせこい
1. 事実7と事実2から、仮説が導かれる

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