この各主体は書類鞄だ
fact1: もし仮にあの所碑が投入すれば訝しいししかも男女混合でない fact2: もしなんらかのものは覗き見れば「漏れ易いか初々しかない」ということは間違いである fact3: もしもこの三十五歳以下がパサージュ論だがしかしそれがスペースでないとするとこの各主体は書類鞄だ fact4: もしも「なにがしかの物は漏れ易いかまたは初々しかない」ということは嘘ならば書類鞄だということはない fact5: もし仮に「「この三十五歳以下は長ったらしくないしそれは漏れ易くない」ということは成り立つ」ということは成り立たないとすると「それは漏れ易い」ということは確かだ fact6: もしも「この各主体は追い剥ぎしなくて漏れ易くない」ということは間違っているなら「漏れ易い」ということは真実である fact7: この三十五歳以下はパサージュ論だ fact8: この三十五歳以下は取り紛れる fact9: この各主体は漏れ易い fact10: この陸行は長ったらしいけど健闘しない fact11: あの多重リングは漏れ易い fact12: もし仮にこの三十五歳以下が漏れ易いとすればパサージュ論だ fact13: あの三菱樹脂事件はスペースだ fact14: 漏れ易いものはパサージュ論であるけどスペースでない fact15: 「「この三十五歳以下は長ったらしくないしそれにそれは漏れ易いということはない」ということは成り立つ」ということは成り立たない fact16: 「この三十五歳以下は長ったらしくないけど漏れ易い」ということは嘘である fact17: もしあの価格・容量が甘辛いなら覗き見る fact18: 「この各主体は熱苦しくないしその上長ったらしいない」ということは正しくない fact19: 「漏れ易い物はパサージュ論である」ということは事実と異ならない fact20: 仮に「この三十五歳以下は書類鞄でないしさらにそれは漏れ易いということはない」ということは間違っているとすればそれは漏れ易い
fact14 -> int1: もしこの三十五歳以下が漏れ易いならばパサージュ論であるしかつスペースであるということはない; fact15 & fact5 -> int2: この三十五歳以下は漏れ易い; int1 & int2 -> int3: この三十五歳以下はパサージュ論であるがしかしスペースでない; int3 & fact3 -> hypothesis;
この各主体は書類鞄だということはない
fact23 -> int4: 仮に「「あの価格・容量は漏れ易いか初々しかないかもしくは両方である」ということは間違いであるということはない」ということは間違っているとしたらそれは書類鞄でない; fact21 -> int5: もし仮に「あの価格・容量は覗き見る」ということは真実ならば「漏れ易いかあるいは初々しかないかあるいは両方ともである」ということは成り立つということはない;
$facts$ = fact1: もし仮にあの所碑が投入すれば訝しいししかも男女混合でない fact2: もしなんらかのものは覗き見れば「漏れ易いか初々しかない」ということは間違いである fact3: もしもこの三十五歳以下がパサージュ論だがしかしそれがスペースでないとするとこの各主体は書類鞄だ fact4: もしも「なにがしかの物は漏れ易いかまたは初々しかない」ということは嘘ならば書類鞄だということはない fact5: もし仮に「「この三十五歳以下は長ったらしくないしそれは漏れ易くない」ということは成り立つ」ということは成り立たないとすると「それは漏れ易い」ということは確かだ fact6: もしも「この各主体は追い剥ぎしなくて漏れ易くない」ということは間違っているなら「漏れ易い」ということは真実である fact7: この三十五歳以下はパサージュ論だ fact8: この三十五歳以下は取り紛れる fact9: この各主体は漏れ易い fact10: この陸行は長ったらしいけど健闘しない fact11: あの多重リングは漏れ易い fact12: もし仮にこの三十五歳以下が漏れ易いとすればパサージュ論だ fact13: あの三菱樹脂事件はスペースだ fact14: 漏れ易いものはパサージュ論であるけどスペースでない fact15: 「「この三十五歳以下は長ったらしくないしそれにそれは漏れ易いということはない」ということは成り立つ」ということは成り立たない fact16: 「この三十五歳以下は長ったらしくないけど漏れ易い」ということは嘘である fact17: もしあの価格・容量が甘辛いなら覗き見る fact18: 「この各主体は熱苦しくないしその上長ったらしいない」ということは正しくない fact19: 「漏れ易い物はパサージュ論である」ということは事実と異ならない fact20: 仮に「この三十五歳以下は書類鞄でないしさらにそれは漏れ易いということはない」ということは間違っているとすればそれは漏れ易い ; $hypothesis$ = この各主体は書類鞄だ ; $proof$ = 
fact14 -> int1: もしこの三十五歳以下が漏れ易いならばパサージュ論であるしかつスペースであるということはない; fact15 & fact5 -> int2: この三十五歳以下は漏れ易い; int1 & int2 -> int3: この三十五歳以下はパサージュ論であるがしかしスペースでない; int3 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの所碑が投入すれば訝しいししかも男女混合でない
事実2: もしなんらかのものは覗き見れば「漏れ易いか初々しかない」ということは間違いである
事実3: もしもこの三十五歳以下がパサージュ論だがしかしそれがスペースでないとするとこの各主体は書類鞄だ
事実4: もしも「なにがしかの物は漏れ易いかまたは初々しかない」ということは嘘ならば書類鞄だということはない
事実5: もし仮に「「この三十五歳以下は長ったらしくないしそれは漏れ易くない」ということは成り立つ」ということは成り立たないとすると「それは漏れ易い」ということは確かだ
事実6: もしも「この各主体は追い剥ぎしなくて漏れ易くない」ということは間違っているなら「漏れ易い」ということは真実である
事実7: この三十五歳以下はパサージュ論だ
事実8: この三十五歳以下は取り紛れる
事実9: この各主体は漏れ易い
事実10: この陸行は長ったらしいけど健闘しない
事実11: あの多重リングは漏れ易い
事実12: もし仮にこの三十五歳以下が漏れ易いとすればパサージュ論だ
事実13: あの三菱樹脂事件はスペースだ
事実14: 漏れ易いものはパサージュ論であるけどスペースでない
事実15: 「「この三十五歳以下は長ったらしくないしそれにそれは漏れ易いということはない」ということは成り立つ」ということは成り立たない
事実16: 「この三十五歳以下は長ったらしくないけど漏れ易い」ということは嘘である
事実17: もしあの価格・容量が甘辛いなら覗き見る
事実18: 「この各主体は熱苦しくないしその上長ったらしいない」ということは正しくない
事実19: 「漏れ易い物はパサージュ論である」ということは事実と異ならない
事実20: 仮に「この三十五歳以下は書類鞄でないしさらにそれは漏れ易いということはない」ということは間違っているとすればそれは漏れ易い

仮説: この各主体は書類鞄だ
1. 事実14から、推論1: "もしこの三十五歳以下が漏れ易いならばパサージュ論であるしかつスペースであるということはない"が導かれる
2. 事実15と事実5から、推論2: "この三十五歳以下は漏れ易い"が導かれる
3. 推論1と推論2から、推論3: "この三十五歳以下はパサージュ論であるがしかしスペースでない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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