「このキャラ設定は広葉だ」ということは間違っていない
fact1: あの国民生活は怠いなら「このキャラ設定は損ねる」ということは確かだ fact2: もし仮にあの国民生活が死亡者数ならこのキャラ設定は損ねる fact3: 仮に「あの国民生活は搬入するかあるいは損ねる」ということは事実ならこのキャラ設定は死亡者数でない fact4: もしもあるものがさもしいということはないとしたらあの国民生活は損ねるしそれに封鎖する fact5: このキャラ設定は搬入する fact6: このキャラ設定は死亡者数でない fact7: 「「ＥＸＡであるししかも一休みする」ということは偽である」ものはある fact8: この課税前利潤が損ねらないとするとあの国民生活は死亡者数であるしそれに怠い fact9: もし仮にとあるものが死亡者数でないけれど怠いとしたら広葉である fact10: あの国民生活は死亡者数であるか怠いかあるいはどちらもである fact11: その人口流出は搬入する fact12: 詮無くないし更に潔しないものは封鎖しない fact13: もし仮に「ある物は表現し難くないし怠くらない」ということは事実でないなら「それは表現し難い」ということは事実である fact14: 仮にこのキャラ設定は損ねるしそれに搬入するとしたら広葉でない fact15: もしもこの課税前利潤が怠いならこのキャラ設定は怠い fact16: もしその同形が搬入するかまたはそれが封鎖しないかもしくはどちらもならこの課税前利潤は損ねらない fact17: もしその同形がさもしいとすればそれは詮無くないしまた潔しということはない fact18: 仮にあの国民生活が死亡者数であるとするとこのキャラ設定は広葉である fact19: 潔しということはない物は詮無いし怠い fact20: 「さもしくない」物はある
fact10 & fact2 & fact1 -> int1: 「このキャラ設定は損ねる」ということは本当だ; int1 & fact5 -> int2: このキャラ設定は損ねるしそれは搬入する; int2 & fact14 -> hypothesis;
この手掌は表現し難くて混乱する
fact21 -> int3: もし「この手掌は表現し難くないしまた怠いということはない」ということは誤りだとすれば表現し難い;
$facts$ = fact1: あの国民生活は怠いなら「このキャラ設定は損ねる」ということは確かだ fact2: もし仮にあの国民生活が死亡者数ならこのキャラ設定は損ねる fact3: 仮に「あの国民生活は搬入するかあるいは損ねる」ということは事実ならこのキャラ設定は死亡者数でない fact4: もしもあるものがさもしいということはないとしたらあの国民生活は損ねるしそれに封鎖する fact5: このキャラ設定は搬入する fact6: このキャラ設定は死亡者数でない fact7: 「「ＥＸＡであるししかも一休みする」ということは偽である」ものはある fact8: この課税前利潤が損ねらないとするとあの国民生活は死亡者数であるしそれに怠い fact9: もし仮にとあるものが死亡者数でないけれど怠いとしたら広葉である fact10: あの国民生活は死亡者数であるか怠いかあるいはどちらもである fact11: その人口流出は搬入する fact12: 詮無くないし更に潔しないものは封鎖しない fact13: もし仮に「ある物は表現し難くないし怠くらない」ということは事実でないなら「それは表現し難い」ということは事実である fact14: 仮にこのキャラ設定は損ねるしそれに搬入するとしたら広葉でない fact15: もしもこの課税前利潤が怠いならこのキャラ設定は怠い fact16: もしその同形が搬入するかまたはそれが封鎖しないかもしくはどちらもならこの課税前利潤は損ねらない fact17: もしその同形がさもしいとすればそれは詮無くないしまた潔しということはない fact18: 仮にあの国民生活が死亡者数であるとするとこのキャラ設定は広葉である fact19: 潔しということはない物は詮無いし怠い fact20: 「さもしくない」物はある ; $hypothesis$ = 「このキャラ設定は広葉だ」ということは間違っていない ; $proof$ = 
fact10 & fact2 & fact1 -> int1: 「このキャラ設定は損ねる」ということは本当だ; int1 & fact5 -> int2: このキャラ設定は損ねるしそれは搬入する; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: あの国民生活は怠いなら「このキャラ設定は損ねる」ということは確かだ
事実2: もし仮にあの国民生活が死亡者数ならこのキャラ設定は損ねる
事実3: 仮に「あの国民生活は搬入するかあるいは損ねる」ということは事実ならこのキャラ設定は死亡者数でない
事実4: もしもあるものがさもしいということはないとしたらあの国民生活は損ねるしそれに封鎖する
事実5: このキャラ設定は搬入する
事実6: このキャラ設定は死亡者数でない
事実7: 「「ＥＸＡであるししかも一休みする」ということは偽である」ものはある
事実8: この課税前利潤が損ねらないとするとあの国民生活は死亡者数であるしそれに怠い
事実9: もし仮にとあるものが死亡者数でないけれど怠いとしたら広葉である
事実10: あの国民生活は死亡者数であるか怠いかあるいはどちらもである
事実11: その人口流出は搬入する
事実12: 詮無くないし更に潔しないものは封鎖しない
事実13: もし仮に「ある物は表現し難くないし怠くらない」ということは事実でないなら「それは表現し難い」ということは事実である
事実14: 仮にこのキャラ設定は損ねるしそれに搬入するとしたら広葉でない
事実15: もしもこの課税前利潤が怠いならこのキャラ設定は怠い
事実16: もしその同形が搬入するかまたはそれが封鎖しないかもしくはどちらもならこの課税前利潤は損ねらない
事実17: もしその同形がさもしいとすればそれは詮無くないしまた潔しということはない
事実18: 仮にあの国民生活が死亡者数であるとするとこのキャラ設定は広葉である
事実19: 潔しということはない物は詮無いし怠い
事実20: 「さもしくない」物はある

仮説: 「このキャラ設定は広葉だ」ということは間違っていない
1. 事実10と事実2と事実1から、推論1: "「このキャラ設定は損ねる」ということは本当だ"が導かれる
2. 推論1と事実5から、推論2: "このキャラ設定は損ねるしそれは搬入する"が導かれる
3. 推論2と事実14から、仮説が否定される

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