「仮にパリ会議でないとしたら関連箇所であるかまたは真っ黒いか両方ともである」ものはある
fact1: 仮に「あの投資ファンドはパリ会議であるということはない」ということは成り立つとしたらそれは関連箇所であるかあるいはそれは真っ黒い fact2: もしもある物は一般道路であるということはないならばデポするかあるいは同一世帯だ
fact1 -> hypothesis;
「もし一般道路でないとすればデポするかもしくは同一世帯であるか両方ともな」ものはある
fact3 -> int1: 仮にこの分担領域が一般道路でないとすればそれはデポするかもしくは同一世帯であるかあるいは両方ともである; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの投資ファンドはパリ会議であるということはない」ということは成り立つとしたらそれは関連箇所であるかあるいはそれは真っ黒い fact2: もしもある物は一般道路であるということはないならばデポするかあるいは同一世帯だ ; $hypothesis$ = 「仮にパリ会議でないとしたら関連箇所であるかまたは真っ黒いか両方ともである」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの投資ファンドはパリ会議であるということはない」ということは成り立つとしたらそれは関連箇所であるかあるいはそれは真っ黒い
事実2: もしもある物は一般道路であるということはないならばデポするかあるいは同一世帯だ

仮説: 「仮にパリ会議でないとしたら関連箇所であるかまたは真っ黒いか両方ともである」ものはある
1. 事実1から、仮説が導かれる

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