「「この呪者は極まり悪くなくてそれは札でない」ということは真実である」ということは成り立たない
fact1: 仮にあの色紙形は比例付与するなら「この呪者が比例付与しないしさらに極まり悪くない」ということは誤りだ fact2: あの色紙形はビール生産でない fact3: 「あの色紙形は札だけれどそれは熱っぽくない」ということは偽である fact4: もしもなにがしかのものは対象線だということはないなら「それは極まり悪くないし更に札であるということはない」ということは嘘だ fact5: もしとあるものが掛けないとしたら極まり悪くなくてしかも札でない fact6: あの地区大会は対象線でない fact7: 仮にあの色紙形が対象線であるとするとこの呪者は掛けない fact8: もしその熱気食品は対象線であるとしたら「あの色紙形は対象線でないし更に比例付与しない」ということは偽だ fact9: もしある物が痒いということはないとすると周知しない fact10: 仮にその熱気食品が掛けない一方でビール生産だとすればこの呪者は対象線でない fact11: 仮にこの呪者は掛けないならば「それは札でない」ということは事実である fact12: 「この呪者は対象線だということはなくてＦＳＦでない」ということは誤りだ fact13: 「あの色紙形は対象線であるということはないしさらに比例付与しない」ということは成り立たないならばこの呪者は掛けない fact14: その熱気食品は対象線であるがしかしビール生産であるということはない fact15: もしもその熱気食品はビール生産であるとすれば「この呪者はビール生産だということはないし加えてそれは札でない」ということは成り立たない fact16: もし仮にあの色紙形が馴れ馴れしくないとすればその熱気食品は掛けないしその上比例付与しない fact17: 仮にあの浣腸液が指差し為さらなくてしかもレギュラーコースでないとしたらあの色紙形は馴れ馴れしくない
fact14 -> int1: その熱気食品は対象線である; int1 & fact8 -> int2: 「あの色紙形は対象線でなくて比例付与しない」ということは成り立たない; int2 & fact13 -> int3: この呪者は掛けるということはない; fact5 -> int4: 「この呪者は掛けるということはない」ということは本当であるとすると「極まり悪くないし札でない」ということは確かだ; int3 & int4 -> hypothesis;
「「この呪者が極まり悪いということはないしその上それは札でない」ということは誤っているということはない」ということは誤りである
fact21 -> int5: もしも「この呪者は対象線でない」ということは本当であるなら「それは極まり悪くないしまた札でない」ということは成り立たない;
$facts$ = fact1: 仮にあの色紙形は比例付与するなら「この呪者が比例付与しないしさらに極まり悪くない」ということは誤りだ fact2: あの色紙形はビール生産でない fact3: 「あの色紙形は札だけれどそれは熱っぽくない」ということは偽である fact4: もしもなにがしかのものは対象線だということはないなら「それは極まり悪くないし更に札であるということはない」ということは嘘だ fact5: もしとあるものが掛けないとしたら極まり悪くなくてしかも札でない fact6: あの地区大会は対象線でない fact7: 仮にあの色紙形が対象線であるとするとこの呪者は掛けない fact8: もしその熱気食品は対象線であるとしたら「あの色紙形は対象線でないし更に比例付与しない」ということは偽だ fact9: もしある物が痒いということはないとすると周知しない fact10: 仮にその熱気食品が掛けない一方でビール生産だとすればこの呪者は対象線でない fact11: 仮にこの呪者は掛けないならば「それは札でない」ということは事実である fact12: 「この呪者は対象線だということはなくてＦＳＦでない」ということは誤りだ fact13: 「あの色紙形は対象線であるということはないしさらに比例付与しない」ということは成り立たないならばこの呪者は掛けない fact14: その熱気食品は対象線であるがしかしビール生産であるということはない fact15: もしもその熱気食品はビール生産であるとすれば「この呪者はビール生産だということはないし加えてそれは札でない」ということは成り立たない fact16: もし仮にあの色紙形が馴れ馴れしくないとすればその熱気食品は掛けないしその上比例付与しない fact17: 仮にあの浣腸液が指差し為さらなくてしかもレギュラーコースでないとしたらあの色紙形は馴れ馴れしくない ; $hypothesis$ = 「「この呪者は極まり悪くなくてそれは札でない」ということは真実である」ということは成り立たない ; $proof$ = 
fact14 -> int1: その熱気食品は対象線である; int1 & fact8 -> int2: 「あの色紙形は対象線でなくて比例付与しない」ということは成り立たない; int2 & fact13 -> int3: この呪者は掛けるということはない; fact5 -> int4: 「この呪者は掛けるということはない」ということは本当であるとすると「極まり悪くないし札でない」ということは確かだ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にあの色紙形は比例付与するなら「この呪者が比例付与しないしさらに極まり悪くない」ということは誤りだ
事実2: あの色紙形はビール生産でない
事実3: 「あの色紙形は札だけれどそれは熱っぽくない」ということは偽である
事実4: もしもなにがしかのものは対象線だということはないなら「それは極まり悪くないし更に札であるということはない」ということは嘘だ
事実5: もしとあるものが掛けないとしたら極まり悪くなくてしかも札でない
事実6: あの地区大会は対象線でない
事実7: 仮にあの色紙形が対象線であるとするとこの呪者は掛けない
事実8: もしその熱気食品は対象線であるとしたら「あの色紙形は対象線でないし更に比例付与しない」ということは偽だ
事実9: もしある物が痒いということはないとすると周知しない
事実10: 仮にその熱気食品が掛けない一方でビール生産だとすればこの呪者は対象線でない
事実11: 仮にこの呪者は掛けないならば「それは札でない」ということは事実である
事実12: 「この呪者は対象線だということはなくてＦＳＦでない」ということは誤りだ
事実13: 「あの色紙形は対象線であるということはないしさらに比例付与しない」ということは成り立たないならばこの呪者は掛けない
事実14: その熱気食品は対象線であるがしかしビール生産であるということはない
事実15: もしもその熱気食品はビール生産であるとすれば「この呪者はビール生産だということはないし加えてそれは札でない」ということは成り立たない
事実16: もし仮にあの色紙形が馴れ馴れしくないとすればその熱気食品は掛けないしその上比例付与しない
事実17: 仮にあの浣腸液が指差し為さらなくてしかもレギュラーコースでないとしたらあの色紙形は馴れ馴れしくない

仮説: 「「この呪者は極まり悪くなくてそれは札でない」ということは真実である」ということは成り立たない
1. 事実14から、推論1: "その熱気食品は対象線である"が導かれる
2. 推論1と事実8から、推論2: "「あの色紙形は対象線でなくて比例付与しない」ということは成り立たない"が導かれる
3. 推論2と事実13から、推論3: "この呪者は掛けるということはない"が導かれる
4. 事実5から、推論4: "「この呪者は掛けるということはない」ということは本当であるとすると「極まり悪くないし札でない」ということは確かだ"が導かれる
5. 推論3と推論4から、仮説が否定される

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