この経済的価値は脂っこい
fact1: もし仮にこの経済的価値が脂っこくないなら悪戯心である fact2: この全グレードは脂っこい fact3: この全グレードは長たらしくない fact4: もしもなにかは留守番しないとすると「埋め立て地でない」ということは確かだ fact5: もし仮にこの全グレードが悪戯心であるならこの経済的価値は脂っこくない fact6: 「とある物が脂っこくないなら長たらしい」ということは真実である fact7: もし仮になにがしかのものが留守番するとすればそれは長たらしくないかもしくは興味深くないか両方ともである fact8: この空豆は長たらしいしさらに自粛する fact9: あの専修学校は悪戯心でない fact10: 「仮にこの空豆は長たらしいならば「「この全グレードは興味深いということはないかあるいは長たらしいかどちらもである」ということは成り立つ」ということは偽だ」ということは真実である fact11: もし仮にこの空豆は透析でないとするとそれは留守番するし埋め立て地だ fact12: もし仮に「この空豆は長たらしい」ということは真実だとするとこの全グレードは長たらしくない fact13: もし仮にこの空豆が自粛するということはなくてそれが脂っこいということはないとするとこの経済的価値は脂っこい fact14: この空豆は自粛する fact15: もしなんらかのものが呼び立てるということはないがしかし悪戯心なら自粛しない fact16: 「この空豆は悪戯心でないかあるいは埋め立て地だ」ということは嘘ならば「長たらしくない」ということは正しい fact17: 「この細葱は脂っこい」ということは成り立つ fact18: この経済的価値は留守番しない fact19: もし仮に何かは埋め立て地でないとすればそれは悪戯心だ fact20: この経済的価値は興味深くない fact21: この空豆は透析だということはない fact22: もし仮に「何らかの物は興味深くないか長たらしいか両方ともである」ということは成り立たないとすればそれは留守番するということはない
fact8 -> int1: この空豆は長たらしい; int1 & fact10 -> int2: 「この全グレードは興味深いということはないかそれは長たらしいかあるいは両方である」ということは成り立たない; fact22 -> int3: 「この全グレードは興味深いということはないかまたは長たらしい」ということは嘘ならば留守番するということはない; int2 & int3 -> int4: この全グレードは留守番しない; fact4 -> int5: もしこの全グレードが留守番しないならば埋め立て地でない; int4 & int5 -> int6: 「この全グレードは埋め立て地でない」ということは成り立つ; fact19 -> int7: 仮にこの全グレードは埋め立て地でないとすれば「悪戯心である」ということは真実だ; int6 & int7 -> int8: この全グレードは悪戯心だ; int8 & fact5 -> hypothesis;
この経済的価値は脂っこい
fact24 -> int9: もしこの空豆は呼び立てないが悪戯心だとするとそれは自粛しない; fact27 -> int10: 仮に「この空豆は留守番する」ということは正しいなら長たらしくないかあるいは興味深いということはないかもしくは両方だ; fact25 & fact23 -> int11: この空豆は留守番するししかもそれは埋め立て地だ; int11 -> int12: この空豆は留守番する; int10 & int12 -> int13: この空豆は長たらしくないかまたは興味深くないかもしくはどちらもである;
$facts$ = fact1: もし仮にこの経済的価値が脂っこくないなら悪戯心である fact2: この全グレードは脂っこい fact3: この全グレードは長たらしくない fact4: もしもなにかは留守番しないとすると「埋め立て地でない」ということは確かだ fact5: もし仮にこの全グレードが悪戯心であるならこの経済的価値は脂っこくない fact6: 「とある物が脂っこくないなら長たらしい」ということは真実である fact7: もし仮になにがしかのものが留守番するとすればそれは長たらしくないかもしくは興味深くないか両方ともである fact8: この空豆は長たらしいしさらに自粛する fact9: あの専修学校は悪戯心でない fact10: 「仮にこの空豆は長たらしいならば「「この全グレードは興味深いということはないかあるいは長たらしいかどちらもである」ということは成り立つ」ということは偽だ」ということは真実である fact11: もし仮にこの空豆は透析でないとするとそれは留守番するし埋め立て地だ fact12: もし仮に「この空豆は長たらしい」ということは真実だとするとこの全グレードは長たらしくない fact13: もし仮にこの空豆が自粛するということはなくてそれが脂っこいということはないとするとこの経済的価値は脂っこい fact14: この空豆は自粛する fact15: もしなんらかのものが呼び立てるということはないがしかし悪戯心なら自粛しない fact16: 「この空豆は悪戯心でないかあるいは埋め立て地だ」ということは嘘ならば「長たらしくない」ということは正しい fact17: 「この細葱は脂っこい」ということは成り立つ fact18: この経済的価値は留守番しない fact19: もし仮に何かは埋め立て地でないとすればそれは悪戯心だ fact20: この経済的価値は興味深くない fact21: この空豆は透析だということはない fact22: もし仮に「何らかの物は興味深くないか長たらしいか両方ともである」ということは成り立たないとすればそれは留守番するということはない ; $hypothesis$ = この経済的価値は脂っこい ; $proof$ = 
fact8 -> int1: この空豆は長たらしい; int1 & fact10 -> int2: 「この全グレードは興味深いということはないかそれは長たらしいかあるいは両方である」ということは成り立たない; fact22 -> int3: 「この全グレードは興味深いということはないかまたは長たらしい」ということは嘘ならば留守番するということはない; int2 & int3 -> int4: この全グレードは留守番しない; fact4 -> int5: もしこの全グレードが留守番しないならば埋め立て地でない; int4 & int5 -> int6: 「この全グレードは埋め立て地でない」ということは成り立つ; fact19 -> int7: 仮にこの全グレードは埋め立て地でないとすれば「悪戯心である」ということは真実だ; int6 & int7 -> int8: この全グレードは悪戯心だ; int8 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にこの経済的価値が脂っこくないなら悪戯心である
事実2: この全グレードは脂っこい
事実3: この全グレードは長たらしくない
事実4: もしもなにかは留守番しないとすると「埋め立て地でない」ということは確かだ
事実5: もし仮にこの全グレードが悪戯心であるならこの経済的価値は脂っこくない
事実6: 「とある物が脂っこくないなら長たらしい」ということは真実である
事実7: もし仮になにがしかのものが留守番するとすればそれは長たらしくないかもしくは興味深くないか両方ともである
事実8: この空豆は長たらしいしさらに自粛する
事実9: あの専修学校は悪戯心でない
事実10: 「仮にこの空豆は長たらしいならば「「この全グレードは興味深いということはないかあるいは長たらしいかどちらもである」ということは成り立つ」ということは偽だ」ということは真実である
事実11: もし仮にこの空豆は透析でないとするとそれは留守番するし埋め立て地だ
事実12: もし仮に「この空豆は長たらしい」ということは真実だとするとこの全グレードは長たらしくない
事実13: もし仮にこの空豆が自粛するということはなくてそれが脂っこいということはないとするとこの経済的価値は脂っこい
事実14: この空豆は自粛する
事実15: もしなんらかのものが呼び立てるということはないがしかし悪戯心なら自粛しない
事実16: 「この空豆は悪戯心でないかあるいは埋め立て地だ」ということは嘘ならば「長たらしくない」ということは正しい
事実17: 「この細葱は脂っこい」ということは成り立つ
事実18: この経済的価値は留守番しない
事実19: もし仮に何かは埋め立て地でないとすればそれは悪戯心だ
事実20: この経済的価値は興味深くない
事実21: この空豆は透析だということはない
事実22: もし仮に「何らかの物は興味深くないか長たらしいか両方ともである」ということは成り立たないとすればそれは留守番するということはない

仮説: この経済的価値は脂っこい
1. 事実8から、推論1: "この空豆は長たらしい"が導かれる
2. 推論1と事実10から、推論2: "「この全グレードは興味深いということはないかそれは長たらしいかあるいは両方である」ということは成り立たない"が導かれる
3. 事実22から、推論3: "「この全グレードは興味深いということはないかまたは長たらしい」ということは嘘ならば留守番するということはない"が導かれる
4. 推論2と推論3から、推論4: "この全グレードは留守番しない"が導かれる
5. 事実4から、推論5: "もしこの全グレードが留守番しないならば埋め立て地でない"が導かれる
6. 推論4と推論5から、推論6: "「この全グレードは埋め立て地でない」ということは成り立つ"が導かれる
7. 事実19から、推論7: "仮にこの全グレードは埋め立て地でないとすれば「悪戯心である」ということは真実だ"が導かれる
8. 推論6と推論7から、推論8: "この全グレードは悪戯心だ"が導かれる
9. 推論8と事実5から、仮説が否定される

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