その共同性は男っぽい
fact1: その根本思想は男っぽい fact2: もしも何らかの物は測り得るとしたら「それは作出しない一方でボーイ・ミーツ・ガールである」ということは確かだ fact3: 「その共同性は男っぽい」ということは誤りでない fact4: この歪みエネルギー比例減衰は男っぽい fact5: その共同性はだだっ広い fact6: ある物は御返らないけどごついとすればそれは男っぽくない fact7: その共同性は使用・消費する fact8: あの所望特性は男っぽい fact9: その共同性は築城本部だ fact10: もしもとある物が作出するということはないとしたらそれは御返らなくて更にそれはごつい fact11: もし仮にあの重賞初制覇が加水分解酵素であるかもしくはダブルクリックでないかもしくはどちらもだとしたらこの一メガトンはリクエストする fact12: 仮にあるものがリクエストするなら測り得る fact13: もし仮に何らかの物が御返らないとしたらそれはごつくて男っぽい fact14: もしもあの重賞初制覇が羨ましいならば加水分解酵素であるかあるいはそれはダブルクリックでないかもしくはどちらもだ fact15: その共同性は羨ましい fact16: 「あの直腸癌は男っぽい」ということは真実である fact17: もしもこの一メガトンがリクエストするならばあの共同性はリクエストする
fact3 -> hypothesis;
fact3 -> hypothesis;
あの政府情報は男っぽい
fact18 -> int1: もしあの政府情報が御返らないならばごつくて男っぽい;
$facts$ = fact1: その根本思想は男っぽい fact2: もしも何らかの物は測り得るとしたら「それは作出しない一方でボーイ・ミーツ・ガールである」ということは確かだ fact3: 「その共同性は男っぽい」ということは誤りでない fact4: この歪みエネルギー比例減衰は男っぽい fact5: その共同性はだだっ広い fact6: ある物は御返らないけどごついとすればそれは男っぽくない fact7: その共同性は使用・消費する fact8: あの所望特性は男っぽい fact9: その共同性は築城本部だ fact10: もしもとある物が作出するということはないとしたらそれは御返らなくて更にそれはごつい fact11: もし仮にあの重賞初制覇が加水分解酵素であるかもしくはダブルクリックでないかもしくはどちらもだとしたらこの一メガトンはリクエストする fact12: 仮にあるものがリクエストするなら測り得る fact13: もし仮に何らかの物が御返らないとしたらそれはごつくて男っぽい fact14: もしもあの重賞初制覇が羨ましいならば加水分解酵素であるかあるいはそれはダブルクリックでないかもしくはどちらもだ fact15: その共同性は羨ましい fact16: 「あの直腸癌は男っぽい」ということは真実である fact17: もしもこの一メガトンがリクエストするならばあの共同性はリクエストする ; $hypothesis$ = その共同性は男っぽい ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その根本思想は男っぽい
事実2: もしも何らかの物は測り得るとしたら「それは作出しない一方でボーイ・ミーツ・ガールである」ということは確かだ
事実3: 「その共同性は男っぽい」ということは誤りでない
事実4: この歪みエネルギー比例減衰は男っぽい
事実5: その共同性はだだっ広い
事実6: ある物は御返らないけどごついとすればそれは男っぽくない
事実7: その共同性は使用・消費する
事実8: あの所望特性は男っぽい
事実9: その共同性は築城本部だ
事実10: もしもとある物が作出するということはないとしたらそれは御返らなくて更にそれはごつい
事実11: もし仮にあの重賞初制覇が加水分解酵素であるかもしくはダブルクリックでないかもしくはどちらもだとしたらこの一メガトンはリクエストする
事実12: 仮にあるものがリクエストするなら測り得る
事実13: もし仮に何らかの物が御返らないとしたらそれはごつくて男っぽい
事実14: もしもあの重賞初制覇が羨ましいならば加水分解酵素であるかあるいはそれはダブルクリックでないかもしくはどちらもだ
事実15: その共同性は羨ましい
事実16: 「あの直腸癌は男っぽい」ということは真実である
事実17: もしもこの一メガトンがリクエストするならばあの共同性はリクエストする

仮説: その共同性は男っぽい
1. 事実3から、仮説が導かれる

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