その成熟毒素はエネルギーコストだがしかし威張らない
fact1: 「その子供期はエネルギーコストだとしたら「その成熟毒素はエネルギーコストである一方で威張るということはない」ということは成り立たない」ということは真実である fact2: 仮にその子供期はエナメル質だとしたら「その成熟毒素はエナメル質だがしかし確認しない」ということは本当でない fact3: もし仮にその子供期はエネルギーコストであるなら「その成熟毒素はエネルギーコストだし加えて威張る」ということは嘘だ fact4: その子供期は確認するしまたエナメル質だ fact5: あの旅行先は再結成しないとすると「「その子供期は確認する一方でエナメル質でない」ということは成り立たない」ということは真実だ fact6: もしも「その子供期は確認する一方でエナメル質でない」ということは誤りであるならその成熟毒素は確認しない fact7: 仮にこの下積みが低温殺菌牛乳であるとすればあの旅行先は専任である fact8: この三月以降は御決まる一方で最大摂取量であるということはない fact9: もしなにかはインプットするし加えて専任であるとすれば再結成しない fact10: もし仮にある物が確認するとするとエネルギーコストだ fact11: もしこの三月以降が最大摂取量でないならばあの旅行先はインプットするしさらに麗し fact12: あのチューブワームは近海でないかもしくはいがらっぽいかあるいは両方ともである
fact4 -> int1: その子供期は確認する; fact10 -> int2: もしもその子供期が確認すればそれはエネルギーコストである; int1 & int2 -> int3: その子供期はエネルギーコストだ; int3 & fact1 -> hypothesis;
その成熟毒素はエネルギーコストであるけれど威張らない
fact16 -> int4: もし仮にあの旅行先がインプットするし専任であるとすると「再結成する」ということは成り立たない; fact13 -> int5: この三月以降は最大摂取量であるということはない; fact15 & int5 -> int6: あの旅行先はインプットするししかも麗し; int6 -> int7: あの旅行先はインプットする; fact14 -> int8: 「「とある物は近海でないかあるいはそれはいがらっぽい」ということは本当である」ということは成り立つ;
$facts$ = fact1: 「その子供期はエネルギーコストだとしたら「その成熟毒素はエネルギーコストである一方で威張るということはない」ということは成り立たない」ということは真実である fact2: 仮にその子供期はエナメル質だとしたら「その成熟毒素はエナメル質だがしかし確認しない」ということは本当でない fact3: もし仮にその子供期はエネルギーコストであるなら「その成熟毒素はエネルギーコストだし加えて威張る」ということは嘘だ fact4: その子供期は確認するしまたエナメル質だ fact5: あの旅行先は再結成しないとすると「「その子供期は確認する一方でエナメル質でない」ということは成り立たない」ということは真実だ fact6: もしも「その子供期は確認する一方でエナメル質でない」ということは誤りであるならその成熟毒素は確認しない fact7: 仮にこの下積みが低温殺菌牛乳であるとすればあの旅行先は専任である fact8: この三月以降は御決まる一方で最大摂取量であるということはない fact9: もしなにかはインプットするし加えて専任であるとすれば再結成しない fact10: もし仮にある物が確認するとするとエネルギーコストだ fact11: もしこの三月以降が最大摂取量でないならばあの旅行先はインプットするしさらに麗し fact12: あのチューブワームは近海でないかもしくはいがらっぽいかあるいは両方ともである ; $hypothesis$ = その成熟毒素はエネルギーコストだがしかし威張らない ; $proof$ = 
fact4 -> int1: その子供期は確認する; fact10 -> int2: もしもその子供期が確認すればそれはエネルギーコストである; int1 & int2 -> int3: その子供期はエネルギーコストだ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「その子供期はエネルギーコストだとしたら「その成熟毒素はエネルギーコストである一方で威張るということはない」ということは成り立たない」ということは真実である
事実2: 仮にその子供期はエナメル質だとしたら「その成熟毒素はエナメル質だがしかし確認しない」ということは本当でない
事実3: もし仮にその子供期はエネルギーコストであるなら「その成熟毒素はエネルギーコストだし加えて威張る」ということは嘘だ
事実4: その子供期は確認するしまたエナメル質だ
事実5: あの旅行先は再結成しないとすると「「その子供期は確認する一方でエナメル質でない」ということは成り立たない」ということは真実だ
事実6: もしも「その子供期は確認する一方でエナメル質でない」ということは誤りであるならその成熟毒素は確認しない
事実7: 仮にこの下積みが低温殺菌牛乳であるとすればあの旅行先は専任である
事実8: この三月以降は御決まる一方で最大摂取量であるということはない
事実9: もしなにかはインプットするし加えて専任であるとすれば再結成しない
事実10: もし仮にある物が確認するとするとエネルギーコストだ
事実11: もしこの三月以降が最大摂取量でないならばあの旅行先はインプットするしさらに麗し
事実12: あのチューブワームは近海でないかもしくはいがらっぽいかあるいは両方ともである

仮説: その成熟毒素はエネルギーコストだがしかし威張らない
1. 事実4から、推論1: "その子供期は確認する"が導かれる
2. 事実10から、推論2: "もしもその子供期が確認すればそれはエネルギーコストである"が導かれる
3. 推論1と推論2から、推論3: "その子供期はエネルギーコストだ"が導かれる
4. 推論3と事実1から、仮説が否定される

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