このプラントは粘り強くない
fact1: 「このプラントは満遍無いし付け易い」ということは成り立たない fact2: もしあの分節遺伝子は慎み深くないならば「この集計結果は付け易くてまた肥大化する」ということは成り立たない fact3: 仮にこのプラントは掛緒でないとしたら歌唱力でない fact4: 仮にあの分節遺伝子は間違い無くないなら「慎み深くない」ということは本当である fact5: 「この損害額は哺乳するしその上掛緒である」ということは間違っている fact6: ある物が粘り強いとすれば歌唱力である fact7: もし仮にこのプラントが歌唱力だとしたらそれは底深くない fact8: 仮にあの雨期が書き足すとしたらそれは肥大化しない fact9: 「このプラントは肥大化しないがしかし付け易い」ということは成り立つということはない fact10: もし仮に「このプラントは肥大化しないが付け易い」ということは嘘だとすればそれは掛緒であるということはない
fact6 -> int1: 仮にこのプラントが粘り強いなら歌唱力だ; void -> assump1: 以下のように仮定する。このプラントは粘り強い; int1 & assump1 -> int2: このプラントは歌唱力だ; fact9 & fact10 -> int3: このプラントは掛緒でない; int3 & fact3 -> int4: このプラントは歌唱力でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
このプラントは粘り強い
$facts$ = fact1: 「このプラントは満遍無いし付け易い」ということは成り立たない fact2: もしあの分節遺伝子は慎み深くないならば「この集計結果は付け易くてまた肥大化する」ということは成り立たない fact3: 仮にこのプラントは掛緒でないとしたら歌唱力でない fact4: 仮にあの分節遺伝子は間違い無くないなら「慎み深くない」ということは本当である fact5: 「この損害額は哺乳するしその上掛緒である」ということは間違っている fact6: ある物が粘り強いとすれば歌唱力である fact7: もし仮にこのプラントが歌唱力だとしたらそれは底深くない fact8: 仮にあの雨期が書き足すとしたらそれは肥大化しない fact9: 「このプラントは肥大化しないがしかし付け易い」ということは成り立つということはない fact10: もし仮に「このプラントは肥大化しないが付け易い」ということは嘘だとすればそれは掛緒であるということはない ; $hypothesis$ = このプラントは粘り強くない ; $proof$ = 
fact6 -> int1: 仮にこのプラントが粘り強いなら歌唱力だ; void -> assump1: 以下のように仮定する。このプラントは粘り強い; int1 & assump1 -> int2: このプラントは歌唱力だ; fact9 & fact10 -> int3: このプラントは掛緒でない; int3 & fact3 -> int4: このプラントは歌唱力でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 「このプラントは満遍無いし付け易い」ということは成り立たない
事実2: もしあの分節遺伝子は慎み深くないならば「この集計結果は付け易くてまた肥大化する」ということは成り立たない
事実3: 仮にこのプラントは掛緒でないとしたら歌唱力でない
事実4: 仮にあの分節遺伝子は間違い無くないなら「慎み深くない」ということは本当である
事実5: 「この損害額は哺乳するしその上掛緒である」ということは間違っている
事実6: ある物が粘り強いとすれば歌唱力である
事実7: もし仮にこのプラントが歌唱力だとしたらそれは底深くない
事実8: 仮にあの雨期が書き足すとしたらそれは肥大化しない
事実9: 「このプラントは肥大化しないがしかし付け易い」ということは成り立つということはない
事実10: もし仮に「このプラントは肥大化しないが付け易い」ということは嘘だとすればそれは掛緒であるということはない

仮説: このプラントは粘り強くない
1. 事実6から、推論1: "仮にこのプラントが粘り強いなら歌唱力だ"が導かれる
2. 仮定1: 以下のように仮定する。このプラントは粘り強い
3. 推論1と仮定1から、推論2: "このプラントは歌唱力だ"が導かれる
4. 事実9と事実10から、推論3: "このプラントは掛緒でない"が導かれる
5. 推論3と事実3から、推論4: "このプラントは歌唱力でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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