「この有性世代は要らないしさらに託身しない」ということは成り立つということはない
fact1: もしもあるものは遅れ易くないとすると「それは水勢でなくておまけに伝存しない」ということは成り立たない fact2: もしも「この有性世代は水勢でないしおまけにそれは伝存しない」ということは成り立つということはないならばその群集は水勢でない fact3: 「この有性世代は借り切らないが第一次調査である」ということは成り立たない fact4: もし仮になんらかのものが借り切るとしたら第一次調査だしかつ託身しない fact5: もし仮に「「この有性世代は借り切らないけれど第一次調査だ」ということは成り立たない」ということは事実だとしたら託身しない fact6: 何もかもは振振だ一方で遅れ易くない fact7: もし仮に「その群集は肥満する」ということは成り立てばこの有性世代は要らない fact8: その群集は肥満する fact9: 「なんらかの物は肥満するということはない」ということは本当ならばそれは要らない
fact7 & fact8 -> int1: この有性世代は要らない; fact3 & fact5 -> int2: 「この有性世代は託身しない」ということは事実だ; int1 & int2 -> hypothesis;
その鉄板焼きは要らない
fact10 -> int3: その鉄板焼きが肥満するということはないなら要らない; fact13 -> int4: その群集が借り切るならそれは第一次調査であるししかも託身しない; fact11 -> int5: あのしかとは振振だ一方でそれは遅れ易くない; int5 -> int6: あのしかとは遅れ易くない; int6 -> int7: すべての物は遅れ易くない; int7 -> int8: この茅の輪は遅れ易くない; fact14 -> int9: もし仮にこの茅の輪は遅れ易くないとすると「それは水勢でないしそれは伝存しない」ということは間違いである; int8 & int9 -> int10: 「この茅の輪は水勢でなくて伝存しない」ということは嘘である; int10 -> int11: それは水勢でなくて伝存しないというものはない; int11 -> int12: 「この有性世代は水勢でなくて加えて伝存するということはない」ということは成り立たない; fact12 & int12 -> int13: その群集は水勢でない;
$facts$ = fact1: もしもあるものは遅れ易くないとすると「それは水勢でなくておまけに伝存しない」ということは成り立たない fact2: もしも「この有性世代は水勢でないしおまけにそれは伝存しない」ということは成り立つということはないならばその群集は水勢でない fact3: 「この有性世代は借り切らないが第一次調査である」ということは成り立たない fact4: もし仮になんらかのものが借り切るとしたら第一次調査だしかつ託身しない fact5: もし仮に「「この有性世代は借り切らないけれど第一次調査だ」ということは成り立たない」ということは事実だとしたら託身しない fact6: 何もかもは振振だ一方で遅れ易くない fact7: もし仮に「その群集は肥満する」ということは成り立てばこの有性世代は要らない fact8: その群集は肥満する fact9: 「なんらかの物は肥満するということはない」ということは本当ならばそれは要らない ; $hypothesis$ = 「この有性世代は要らないしさらに託身しない」ということは成り立つということはない ; $proof$ = 
fact7 & fact8 -> int1: この有性世代は要らない; fact3 & fact5 -> int2: 「この有性世代は託身しない」ということは事実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあるものは遅れ易くないとすると「それは水勢でなくておまけに伝存しない」ということは成り立たない
事実2: もしも「この有性世代は水勢でないしおまけにそれは伝存しない」ということは成り立つということはないならばその群集は水勢でない
事実3: 「この有性世代は借り切らないが第一次調査である」ということは成り立たない
事実4: もし仮になんらかのものが借り切るとしたら第一次調査だしかつ託身しない
事実5: もし仮に「「この有性世代は借り切らないけれど第一次調査だ」ということは成り立たない」ということは事実だとしたら託身しない
事実6: 何もかもは振振だ一方で遅れ易くない
事実7: もし仮に「その群集は肥満する」ということは成り立てばこの有性世代は要らない
事実8: その群集は肥満する
事実9: 「なんらかの物は肥満するということはない」ということは本当ならばそれは要らない

仮説: 「この有性世代は要らないしさらに託身しない」ということは成り立つということはない
1. 事実7と事実8から、推論1: "この有性世代は要らない"が導かれる
2. 事実3と事実5から、推論2: "「この有性世代は託身しない」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。