あの堤工場はベクトルＡワンだ
fact1: あの堤工場は編集でない fact2: もしもあるものが体脂肪でないとすれば酪農である fact3: 「あの堤工場は経過年数でないけどそれは浮力タンクである」ということは成り立たない fact4: もしあの堤工場が絞らないけどそれが体脂肪だとするとそれはベクトルＡワンでない fact5: 仮にあの堤工場は体脂肪でないとしたら「それは酪農だ」ということは成り立つ fact6: 仮に「その法人契約は経過年数だけれど編集でない」ということは偽であるとするとその需給バランスは酪農である fact7: その額は表現し難くないしそれは監視出来ない fact8: あの堤工場は経過年数でない fact9: あの堤工場は体脂肪である fact10: もしあの堤工場は編集でないとすると「それは酪農でないし加えて経過年数であるということはない」ということは間違っていない fact11: もし「なんらかのものは絞らない一方で体脂肪だ」ということは嘘であるならば酪農である fact12: もしもその額は表現し難くないとすると「その法人契約は経過年数である一方で編集でない」ということは偽である
fact11 -> int1: もしも「あの堤工場は絞るということはないけれど体脂肪だ」ということは間違っているとすれば酪農だ; void -> assump1: 以下のように仮定する。「あの堤工場は絞らないが体脂肪だ」ということは成り立たない; int1 & assump1 -> int2: あの堤工場は酪農だ; fact10 & fact1 -> int3: あの堤工場は酪農でないしおまけにそれは経過年数でない; int3 -> int4: あの堤工場は酪農でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの堤工場は絞らないが体脂肪である; int6 & fact4 -> hypothesis;
あのサバナは絞るということはない
fact14 -> int7: その額は表現し難くない; fact15 & int7 -> int8: 「その法人契約は経過年数だけど編集でない」ということは本当でない; fact13 & int8 -> int9: その需給バランスは酪農だ; int9 -> int10: 「酪農な」ものはある;
$facts$ = fact1: あの堤工場は編集でない fact2: もしもあるものが体脂肪でないとすれば酪農である fact3: 「あの堤工場は経過年数でないけどそれは浮力タンクである」ということは成り立たない fact4: もしあの堤工場が絞らないけどそれが体脂肪だとするとそれはベクトルＡワンでない fact5: 仮にあの堤工場は体脂肪でないとしたら「それは酪農だ」ということは成り立つ fact6: 仮に「その法人契約は経過年数だけれど編集でない」ということは偽であるとするとその需給バランスは酪農である fact7: その額は表現し難くないしそれは監視出来ない fact8: あの堤工場は経過年数でない fact9: あの堤工場は体脂肪である fact10: もしあの堤工場は編集でないとすると「それは酪農でないし加えて経過年数であるということはない」ということは間違っていない fact11: もし「なんらかのものは絞らない一方で体脂肪だ」ということは嘘であるならば酪農である fact12: もしもその額は表現し難くないとすると「その法人契約は経過年数である一方で編集でない」ということは偽である ; $hypothesis$ = あの堤工場はベクトルＡワンだ ; $proof$ = 
fact11 -> int1: もしも「あの堤工場は絞るということはないけれど体脂肪だ」ということは間違っているとすれば酪農だ; void -> assump1: 以下のように仮定する。「あの堤工場は絞らないが体脂肪だ」ということは成り立たない; int1 & assump1 -> int2: あの堤工場は酪農だ; fact10 & fact1 -> int3: あの堤工場は酪農でないしおまけにそれは経過年数でない; int3 -> int4: あの堤工場は酪農でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの堤工場は絞らないが体脂肪である; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: あの堤工場は編集でない
事実2: もしもあるものが体脂肪でないとすれば酪農である
事実3: 「あの堤工場は経過年数でないけどそれは浮力タンクである」ということは成り立たない
事実4: もしあの堤工場が絞らないけどそれが体脂肪だとするとそれはベクトルＡワンでない
事実5: 仮にあの堤工場は体脂肪でないとしたら「それは酪農だ」ということは成り立つ
事実6: 仮に「その法人契約は経過年数だけれど編集でない」ということは偽であるとするとその需給バランスは酪農である
事実7: その額は表現し難くないしそれは監視出来ない
事実8: あの堤工場は経過年数でない
事実9: あの堤工場は体脂肪である
事実10: もしあの堤工場は編集でないとすると「それは酪農でないし加えて経過年数であるということはない」ということは間違っていない
事実11: もし「なんらかのものは絞らない一方で体脂肪だ」ということは嘘であるならば酪農である
事実12: もしもその額は表現し難くないとすると「その法人契約は経過年数である一方で編集でない」ということは偽である

仮説: あの堤工場はベクトルＡワンだ
1. 事実11から、推論1: "もしも「あの堤工場は絞るということはないけれど体脂肪だ」ということは間違っているとすれば酪農だ"が導かれる
2. 仮定1: 以下のように仮定する。「あの堤工場は絞らないが体脂肪だ」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの堤工場は酪農だ"が導かれる
4. 事実10と事実1から、推論3: "あの堤工場は酪農でないしおまけにそれは経過年数でない"が導かれる
5. 推論3から、推論4: "あの堤工場は酪農でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの堤工場は絞らないが体脂肪である"が導かれる
8. 推論6と事実4から、仮説が否定される

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