「仮にギャングでなくて現実界でないとしたら野暮ったい」ものはある
fact1: 仮に「あの来訪者達はギャングでないし加えて置き易くない」ということは本当であるとすると歓迎す fact2: 仮にあの来訪者達はギャングでなくて現実界だということはないならばそれは野暮ったい fact3: 仮にあの来訪者達はギャングでないけれど現実界であるとすればそれは野暮ったい fact4: もしあの粘膜疹は専用線サービスでないしまた紛らわしいということはないとすれば野暮ったい fact5: 鋭くない物は寛延元年でないとすると「しつこい」ということは誤っていない fact6: 「もしギャングであるしそれに現実界でないとすると野暮ったい」物はある fact7: 「もしギャングであるということはないけれど現実界ならば野暮ったい」ものはある fact8: 「もしも栄養補給しなくて加えて東棟でないなら利用され易い」物はある fact9: もしもあの来訪者達がギャングだけど現実界でないとすればそれは野暮ったい fact10: もし仮にあの来訪者達は公認するということはなくて野暮ったくないとするとそれは黒っぽい fact11: 仮になんらかの物が伴えなくてその上孵さないとすればそれは現実界だ
fact2 -> hypothesis;
「もし仮に鋭いということはなくておまけに寛延元年でないならしつこい」ものはある
fact12 -> int1: もしそのエルシニアが鋭くなくて更に寛延元年でないならばそれはしつこい; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの来訪者達はギャングでないし加えて置き易くない」ということは本当であるとすると歓迎す fact2: 仮にあの来訪者達はギャングでなくて現実界だということはないならばそれは野暮ったい fact3: 仮にあの来訪者達はギャングでないけれど現実界であるとすればそれは野暮ったい fact4: もしあの粘膜疹は専用線サービスでないしまた紛らわしいということはないとすれば野暮ったい fact5: 鋭くない物は寛延元年でないとすると「しつこい」ということは誤っていない fact6: 「もしギャングであるしそれに現実界でないとすると野暮ったい」物はある fact7: 「もしギャングであるということはないけれど現実界ならば野暮ったい」ものはある fact8: 「もしも栄養補給しなくて加えて東棟でないなら利用され易い」物はある fact9: もしもあの来訪者達がギャングだけど現実界でないとすればそれは野暮ったい fact10: もし仮にあの来訪者達は公認するということはなくて野暮ったくないとするとそれは黒っぽい fact11: 仮になんらかの物が伴えなくてその上孵さないとすればそれは現実界だ ; $hypothesis$ = 「仮にギャングでなくて現実界でないとしたら野暮ったい」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮に「あの来訪者達はギャングでないし加えて置き易くない」ということは本当であるとすると歓迎す
事実2: 仮にあの来訪者達はギャングでなくて現実界だということはないならばそれは野暮ったい
事実3: 仮にあの来訪者達はギャングでないけれど現実界であるとすればそれは野暮ったい
事実4: もしあの粘膜疹は専用線サービスでないしまた紛らわしいということはないとすれば野暮ったい
事実5: 鋭くない物は寛延元年でないとすると「しつこい」ということは誤っていない
事実6: 「もしギャングであるしそれに現実界でないとすると野暮ったい」物はある
事実7: 「もしギャングであるということはないけれど現実界ならば野暮ったい」ものはある
事実8: 「もしも栄養補給しなくて加えて東棟でないなら利用され易い」物はある
事実9: もしもあの来訪者達がギャングだけど現実界でないとすればそれは野暮ったい
事実10: もし仮にあの来訪者達は公認するということはなくて野暮ったくないとするとそれは黒っぽい
事実11: 仮になんらかの物が伴えなくてその上孵さないとすればそれは現実界だ

仮説: 「仮にギャングでなくて現実界でないとしたら野暮ったい」ものはある
1. 事実2から、仮説が導かれる

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