この学区内は甘ーい
fact1: 仮になにがしかの物は東征軍でなくてしかも起債しないならそれはつべたい fact2: もしこのユナイテッドが東征軍でないがそれが起債すればつべたい fact3: もし仮にこのユナイテッドが起債すればそれは売却する fact4: この規定値がつべたいということはないとするとこのユナイテッドは現役復帰する fact5: このユナイテッドは甘ーい fact6: このユナイテッドは耐え難いか売却するかもしくはどちらもだ fact7: この規定値は耐え難い fact8: この規定値はつべたくない fact9: もしこの規定値が現役復帰するとすると子殺しでない fact10: このユナイテッドはつべたいかあるいは売却しないかあるいは両方だ fact11: 仮にこの学区内が売却しないとするとそれは現役復帰するかもしくは外来通院でないかあるいは両方ともである fact12: 仮にその携帯ウェブが起債するなら外来通院でない fact13: 仮にこの学区内は現役復帰するか外来通院でないとすると「外来通院でない」ということは正しい fact14: 仮にこのユナイテッドが子殺しであるとしたらこの規定値は東征軍であるということはない fact15: この学区内は現役復帰する fact16: 仮に「このユナイテッドは東征軍でないし起債しない」ということは成り立たないならこの規定値は子殺しだ fact17: つべたいものは甘ーい fact18: 仮にその携帯ウェブはつべたい一方で東征軍でないなら外来通院である fact19: 仮にこの規定値は耐え難いけれど子殺しでないなら起債する fact20: その携帯ウェブは捨て難くないししかもそれはつべたくない fact21: もしもその携帯ウェブが売却するならこの学区内は甘ーくない fact22: もし仮にこのユナイテッドがつべたいかまたはそれが耐え難くないかあるいは両方であるならばその携帯ウェブは外来通院である fact23: この規定値は現役復帰する fact24: もしなんらかのものが外来通院でないとすれば子殺しであるし更にそれは耐え難い fact25: このユナイテッドは子殺しである fact26: もしもこのユナイテッドが売却しないとしたらその携帯ウェブは耐え難い fact27: 外来通院は売却する
void -> assump1: 以下のように仮定する。「このユナイテッドは東征軍でないしさらにそれは起債しない」ということは間違っている; fact16 & assump1 -> int1: この規定値は子殺しである; fact23 & fact9 -> int2: この規定値は子殺しでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このユナイテッドは東征軍であるということはなくて起債しない; fact1 -> int5: もしもこのユナイテッドは東征軍でなくてその上起債しないならそれはつべたい; int4 & int5 -> int6: このユナイテッドはつべたい; int6 -> int7: このユナイテッドはつべたいか耐え難くない; int7 & fact22 -> int8: その携帯ウェブは外来通院である; fact27 -> int9: もし仮にその携帯ウェブは外来通院であるとしたら売却する; int8 & int9 -> int10: 「その携帯ウェブは売却する」ということは真実だ; int10 & fact21 -> hypothesis;
この学区内は甘ーい
fact30 -> int11: もしもこの学区内はつべたいとすると「甘ーい」ということは成り立つ; fact31 -> int12: もしもこの学区内は外来通院でないなら子殺しであるし耐え難い;
$facts$ = fact1: 仮になにがしかの物は東征軍でなくてしかも起債しないならそれはつべたい fact2: もしこのユナイテッドが東征軍でないがそれが起債すればつべたい fact3: もし仮にこのユナイテッドが起債すればそれは売却する fact4: この規定値がつべたいということはないとするとこのユナイテッドは現役復帰する fact5: このユナイテッドは甘ーい fact6: このユナイテッドは耐え難いか売却するかもしくはどちらもだ fact7: この規定値は耐え難い fact8: この規定値はつべたくない fact9: もしこの規定値が現役復帰するとすると子殺しでない fact10: このユナイテッドはつべたいかあるいは売却しないかあるいは両方だ fact11: 仮にこの学区内が売却しないとするとそれは現役復帰するかもしくは外来通院でないかあるいは両方ともである fact12: 仮にその携帯ウェブが起債するなら外来通院でない fact13: 仮にこの学区内は現役復帰するか外来通院でないとすると「外来通院でない」ということは正しい fact14: 仮にこのユナイテッドが子殺しであるとしたらこの規定値は東征軍であるということはない fact15: この学区内は現役復帰する fact16: 仮に「このユナイテッドは東征軍でないし起債しない」ということは成り立たないならこの規定値は子殺しだ fact17: つべたいものは甘ーい fact18: 仮にその携帯ウェブはつべたい一方で東征軍でないなら外来通院である fact19: 仮にこの規定値は耐え難いけれど子殺しでないなら起債する fact20: その携帯ウェブは捨て難くないししかもそれはつべたくない fact21: もしもその携帯ウェブが売却するならこの学区内は甘ーくない fact22: もし仮にこのユナイテッドがつべたいかまたはそれが耐え難くないかあるいは両方であるならばその携帯ウェブは外来通院である fact23: この規定値は現役復帰する fact24: もしなんらかのものが外来通院でないとすれば子殺しであるし更にそれは耐え難い fact25: このユナイテッドは子殺しである fact26: もしもこのユナイテッドが売却しないとしたらその携帯ウェブは耐え難い fact27: 外来通院は売却する ; $hypothesis$ = この学区内は甘ーい ; $proof$ = 
void -> assump1: 以下のように仮定する。「このユナイテッドは東征軍でないしさらにそれは起債しない」ということは間違っている; fact16 & assump1 -> int1: この規定値は子殺しである; fact23 & fact9 -> int2: この規定値は子殺しでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このユナイテッドは東征軍であるということはなくて起債しない; fact1 -> int5: もしもこのユナイテッドは東征軍でなくてその上起債しないならそれはつべたい; int4 & int5 -> int6: このユナイテッドはつべたい; int6 -> int7: このユナイテッドはつべたいか耐え難くない; int7 & fact22 -> int8: その携帯ウェブは外来通院である; fact27 -> int9: もし仮にその携帯ウェブは外来通院であるとしたら売却する; int8 & int9 -> int10: 「その携帯ウェブは売却する」ということは真実だ; int10 & fact21 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物は東征軍でなくてしかも起債しないならそれはつべたい
事実2: もしこのユナイテッドが東征軍でないがそれが起債すればつべたい
事実3: もし仮にこのユナイテッドが起債すればそれは売却する
事実4: この規定値がつべたいということはないとするとこのユナイテッドは現役復帰する
事実5: このユナイテッドは甘ーい
事実6: このユナイテッドは耐え難いか売却するかもしくはどちらもだ
事実7: この規定値は耐え難い
事実8: この規定値はつべたくない
事実9: もしこの規定値が現役復帰するとすると子殺しでない
事実10: このユナイテッドはつべたいかあるいは売却しないかあるいは両方だ
事実11: 仮にこの学区内が売却しないとするとそれは現役復帰するかもしくは外来通院でないかあるいは両方ともである
事実12: 仮にその携帯ウェブが起債するなら外来通院でない
事実13: 仮にこの学区内は現役復帰するか外来通院でないとすると「外来通院でない」ということは正しい
事実14: 仮にこのユナイテッドが子殺しであるとしたらこの規定値は東征軍であるということはない
事実15: この学区内は現役復帰する
事実16: 仮に「このユナイテッドは東征軍でないし起債しない」ということは成り立たないならこの規定値は子殺しだ
事実17: つべたいものは甘ーい
事実18: 仮にその携帯ウェブはつべたい一方で東征軍でないなら外来通院である
事実19: 仮にこの規定値は耐え難いけれど子殺しでないなら起債する
事実20: その携帯ウェブは捨て難くないししかもそれはつべたくない
事実21: もしもその携帯ウェブが売却するならこの学区内は甘ーくない
事実22: もし仮にこのユナイテッドがつべたいかまたはそれが耐え難くないかあるいは両方であるならばその携帯ウェブは外来通院である
事実23: この規定値は現役復帰する
事実24: もしなんらかのものが外来通院でないとすれば子殺しであるし更にそれは耐え難い
事実25: このユナイテッドは子殺しである
事実26: もしもこのユナイテッドが売却しないとしたらその携帯ウェブは耐え難い
事実27: 外来通院は売却する

仮説: この学区内は甘ーい
1. 仮定1: 以下のように仮定する。「このユナイテッドは東征軍でないしさらにそれは起債しない」ということは間違っている
2. 事実16と仮定1から、推論1: "この規定値は子殺しである"が導かれる
3. 事実23と事実9から、推論2: "この規定値は子殺しでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このユナイテッドは東征軍であるということはなくて起債しない"が導かれる
6. 事実1から、推論5: "もしもこのユナイテッドは東征軍でなくてその上起債しないならそれはつべたい"が導かれる
7. 推論4と推論5から、推論6: "このユナイテッドはつべたい"が導かれる
8. 推論6から、推論7: "このユナイテッドはつべたいか耐え難くない"が導かれる
9. 推論7と事実22から、推論8: "その携帯ウェブは外来通院である"が導かれる
10. 事実27から、推論9: "もし仮にその携帯ウェブは外来通院であるとしたら売却する"が導かれる
11. 推論8と推論9から、推論10: "「その携帯ウェブは売却する」ということは真実だ"が導かれる
12. 推論10と事実21から、仮説が否定される

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