「もしも諜報機関でないなら外し易くない」物はある
fact1: 「もしも諜報機関でないとしたら外し易い」ものはある fact2: 冗談っぽくない物は二位集団でない fact3: もし仮になんらかの物は諜報機関でないとしたらそれは外し易くない fact4: もしもなにかは諜報機関だということはないとしたら外し易い fact5: 諜報機関は外し易いということはない fact6: もしあのボンジュールは諜報機関であるとすれば外し易くない fact7: 「もし仮に諜報機関であるとしたら「外し易い」ということは間違いな」ものはある fact8: 仮にあのボンジュールが諜報機関でないとすれば外し易い fact9: 外し易いということはないものは山深くない fact10: 仮にあのボンジュールが入山しないならばそれは諜報機関だということはない fact11: もし仮にあの特別任用令は諜報機関でないならばキャンセルしない fact12: 何かは印象深くないならそれは刑事処分でない fact13: なにがしかのものは当該信用取り引き等でないならば破滅するということはない fact14: 「「仮に軽ーくないとしたら掃除係であるということはない」ものはある」ということは成り立つ fact15: 「仮に常人等でないとしたら外来者であるということはない」ものはある fact16: 「もし受け取り書でないなら侵食しない」ものはある fact17: 「「仮に冬眠しないなら賃貸する」ものはある」ということは成り立つ fact18: もし仮にこの安全保障上が基本問題だとすればＥ‐ワン事件でない
fact3 -> int1: もしあのボンジュールは諜報機関でないとするとそれは外し易いということはない; int1 -> hypothesis;
仮に「あの新開地は外し易くない」ということは成り立つとしたらそれは山深くない
fact19 -> hypothesis;
$facts$ = fact1: 「もしも諜報機関でないとしたら外し易い」ものはある fact2: 冗談っぽくない物は二位集団でない fact3: もし仮になんらかの物は諜報機関でないとしたらそれは外し易くない fact4: もしもなにかは諜報機関だということはないとしたら外し易い fact5: 諜報機関は外し易いということはない fact6: もしあのボンジュールは諜報機関であるとすれば外し易くない fact7: 「もし仮に諜報機関であるとしたら「外し易い」ということは間違いな」ものはある fact8: 仮にあのボンジュールが諜報機関でないとすれば外し易い fact9: 外し易いということはないものは山深くない fact10: 仮にあのボンジュールが入山しないならばそれは諜報機関だということはない fact11: もし仮にあの特別任用令は諜報機関でないならばキャンセルしない fact12: 何かは印象深くないならそれは刑事処分でない fact13: なにがしかのものは当該信用取り引き等でないならば破滅するということはない fact14: 「「仮に軽ーくないとしたら掃除係であるということはない」ものはある」ということは成り立つ fact15: 「仮に常人等でないとしたら外来者であるということはない」ものはある fact16: 「もし受け取り書でないなら侵食しない」ものはある fact17: 「「仮に冬眠しないなら賃貸する」ものはある」ということは成り立つ fact18: もし仮にこの安全保障上が基本問題だとすればＥ‐ワン事件でない ; $hypothesis$ = 「もしも諜報機関でないなら外し易くない」物はある ; $proof$ = 
fact3 -> int1: もしあのボンジュールは諜報機関でないとするとそれは外し易いということはない; int1 -> hypothesis; __PROVED__
事実1: 「もしも諜報機関でないとしたら外し易い」ものはある
事実2: 冗談っぽくない物は二位集団でない
事実3: もし仮になんらかの物は諜報機関でないとしたらそれは外し易くない
事実4: もしもなにかは諜報機関だということはないとしたら外し易い
事実5: 諜報機関は外し易いということはない
事実6: もしあのボンジュールは諜報機関であるとすれば外し易くない
事実7: 「もし仮に諜報機関であるとしたら「外し易い」ということは間違いな」ものはある
事実8: 仮にあのボンジュールが諜報機関でないとすれば外し易い
事実9: 外し易いということはないものは山深くない
事実10: 仮にあのボンジュールが入山しないならばそれは諜報機関だということはない
事実11: もし仮にあの特別任用令は諜報機関でないならばキャンセルしない
事実12: 何かは印象深くないならそれは刑事処分でない
事実13: なにがしかのものは当該信用取り引き等でないならば破滅するということはない
事実14: 「「仮に軽ーくないとしたら掃除係であるということはない」ものはある」ということは成り立つ
事実15: 「仮に常人等でないとしたら外来者であるということはない」ものはある
事実16: 「もし受け取り書でないなら侵食しない」ものはある
事実17: 「「仮に冬眠しないなら賃貸する」ものはある」ということは成り立つ
事実18: もし仮にこの安全保障上が基本問題だとすればＥ‐ワン事件でない

仮説: 「もしも諜報機関でないなら外し易くない」物はある
1. 事実3から、推論1: "もしあのボンジュールは諜報機関でないとするとそれは外し易いということはない"が導かれる
2. 推論1から、仮説が導かれる

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