そのビッグバンドは有性でないが考え深い
fact1: そのビッグバンドは脱脂綿だ fact2: その六世紀は考え深い fact3: その要素価格均等化定理は消臭する fact4: もしも「この御書は近世国家であるかまたは低頭する」ということは成り立たないとすればそれは法人税課税有りだ fact5: そのビッグバンドは出来難くないけれど成り易い fact6: もし仮に「そのビッグバンドは取り組めるかもしくはそれは文書化出来るかあるいはどちらもである」ということは偽なら「それは脱脂綿だ」ということは事実である fact7: そのビッグバンドは考え深くてそれは脱脂綿だ fact8: そのビッグバンドがＪＯＢであるということはなくて更にそれが水屋でないならばあの摂取不足はＪＯＢだ fact9: そのビッグバンドは間接部門だということはない fact10: 仮にとある物が消臭するということはないならばＪＯＢでないしさらにそれは水屋でない fact11: 「仮に「そのビッグバンドは宣布しないか間接部門であるか両方だ」ということは成り立つということはないならそのビッグバンドは水屋だ」ということは成り立つ fact12: もし仮にあの掃討戦が消臭しないならば考え深くなくてまたそれはＪＯＢでない fact13: もしそのビッグバンドはＪＯＢで更に水屋であるとしたらそれは有性でない fact14: 「そのビッグバンドは消臭する」ということは成り立つ fact15: 「そのビッグバンドは宣布するということはないかもしくは間接部門であるかまたはどちらもである」ということは間違いである fact16: そのビッグバンドはＪＯＢで加えて消臭する
fact16 -> int1: そのビッグバンドはＪＯＢだ; fact11 & fact15 -> int2: そのビッグバンドは水屋だ; int1 & int2 -> int3: 「そのビッグバンドはＪＯＢだし水屋である」ということは確かだ; int3 & fact13 -> int4: そのビッグバンドは有性でない; fact7 -> int5: そのビッグバンドは考え深い; int4 & int5 -> hypothesis;
「そのビッグバンドは有性でないがしかし考え深い」ということは誤りである
$facts$ = fact1: そのビッグバンドは脱脂綿だ fact2: その六世紀は考え深い fact3: その要素価格均等化定理は消臭する fact4: もしも「この御書は近世国家であるかまたは低頭する」ということは成り立たないとすればそれは法人税課税有りだ fact5: そのビッグバンドは出来難くないけれど成り易い fact6: もし仮に「そのビッグバンドは取り組めるかもしくはそれは文書化出来るかあるいはどちらもである」ということは偽なら「それは脱脂綿だ」ということは事実である fact7: そのビッグバンドは考え深くてそれは脱脂綿だ fact8: そのビッグバンドがＪＯＢであるということはなくて更にそれが水屋でないならばあの摂取不足はＪＯＢだ fact9: そのビッグバンドは間接部門だということはない fact10: 仮にとある物が消臭するということはないならばＪＯＢでないしさらにそれは水屋でない fact11: 「仮に「そのビッグバンドは宣布しないか間接部門であるか両方だ」ということは成り立つということはないならそのビッグバンドは水屋だ」ということは成り立つ fact12: もし仮にあの掃討戦が消臭しないならば考え深くなくてまたそれはＪＯＢでない fact13: もしそのビッグバンドはＪＯＢで更に水屋であるとしたらそれは有性でない fact14: 「そのビッグバンドは消臭する」ということは成り立つ fact15: 「そのビッグバンドは宣布するということはないかもしくは間接部門であるかまたはどちらもである」ということは間違いである fact16: そのビッグバンドはＪＯＢで加えて消臭する ; $hypothesis$ = そのビッグバンドは有性でないが考え深い ; $proof$ = 
fact16 -> int1: そのビッグバンドはＪＯＢだ; fact11 & fact15 -> int2: そのビッグバンドは水屋だ; int1 & int2 -> int3: 「そのビッグバンドはＪＯＢだし水屋である」ということは確かだ; int3 & fact13 -> int4: そのビッグバンドは有性でない; fact7 -> int5: そのビッグバンドは考え深い; int4 & int5 -> hypothesis; __PROVED__
事実1: そのビッグバンドは脱脂綿だ
事実2: その六世紀は考え深い
事実3: その要素価格均等化定理は消臭する
事実4: もしも「この御書は近世国家であるかまたは低頭する」ということは成り立たないとすればそれは法人税課税有りだ
事実5: そのビッグバンドは出来難くないけれど成り易い
事実6: もし仮に「そのビッグバンドは取り組めるかもしくはそれは文書化出来るかあるいはどちらもである」ということは偽なら「それは脱脂綿だ」ということは事実である
事実7: そのビッグバンドは考え深くてそれは脱脂綿だ
事実8: そのビッグバンドがＪＯＢであるということはなくて更にそれが水屋でないならばあの摂取不足はＪＯＢだ
事実9: そのビッグバンドは間接部門だということはない
事実10: 仮にとある物が消臭するということはないならばＪＯＢでないしさらにそれは水屋でない
事実11: 「仮に「そのビッグバンドは宣布しないか間接部門であるか両方だ」ということは成り立つということはないならそのビッグバンドは水屋だ」ということは成り立つ
事実12: もし仮にあの掃討戦が消臭しないならば考え深くなくてまたそれはＪＯＢでない
事実13: もしそのビッグバンドはＪＯＢで更に水屋であるとしたらそれは有性でない
事実14: 「そのビッグバンドは消臭する」ということは成り立つ
事実15: 「そのビッグバンドは宣布するということはないかもしくは間接部門であるかまたはどちらもである」ということは間違いである
事実16: そのビッグバンドはＪＯＢで加えて消臭する

仮説: そのビッグバンドは有性でないが考え深い
1. 事実16から、推論1: "そのビッグバンドはＪＯＢだ"が導かれる
2. 事実11と事実15から、推論2: "そのビッグバンドは水屋だ"が導かれる
3. 推論1と推論2から、推論3: "「そのビッグバンドはＪＯＢだし水屋である」ということは確かだ"が導かれる
4. 推論3と事実13から、推論4: "そのビッグバンドは有性でない"が導かれる
5. 事実7から、推論5: "そのビッグバンドは考え深い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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