「「このイットは委譲しないかもしくは精肉でないか両方だ」ということは成り立つ」ということは嘘だ
fact1: 取れ易いものは華々しくないがしかし踏み消す fact2: なんらかの物はセレクト出来れば「精肉である」ということは成り立つ fact3: もしもこのイットがセレクト出来ればそれは精肉である fact4: あのＢＡＳＨは委譲する fact5: もしその快足がセレクト出来ないとすればこのイットは委譲しないかまたは精肉だということはないか両方である fact6: あの放火は精肉だ fact7: このイットは定義付けであるならそれは気疲れする fact8: あの御胸は一つ辺りであるけれど有名無実化しない fact9: もし仮にとある物は作製だとしたら「左翼陣営だ」ということは嘘でない fact10: このイットは精肉である fact11: 取れ易くないものは華々しい一方で踏み消さない fact12: もしも何かはしがないとしたら擽ったい fact13: 仮にとあるものはセレクト出来るとすると「委譲しないか精肉でないかまたはどちらもだ」ということは成り立つということはない fact14: 「このイットはセレクト出来る」ということは成り立つ fact15: 華々しいものは委譲しないしさらにセレクト出来ない fact16: 仮にこのイットは少ないとすると「有名無実化しないかまたはナルシストでないか両方ともである」ということは誤りだ
fact13 -> int1: もし仮にこのイットはセレクト出来るとしたら「委譲しないかあるいは精肉だということはないかもしくはどちらもである」ということは間違いである; int1 & fact14 -> hypothesis;
fact13 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact14 -> hypothesis;
このイットは委譲しないかもしくはそれは精肉でないかあるいは両方ともだ
fact19 -> int2: もしもその蛍光強度が取れ易いとすればそれは華々しいということはないけれど踏み消す; fact18 -> int3: 「一つ辺りだし有名無実化しない」ものはある;
$facts$ = fact1: 取れ易いものは華々しくないがしかし踏み消す fact2: なんらかの物はセレクト出来れば「精肉である」ということは成り立つ fact3: もしもこのイットがセレクト出来ればそれは精肉である fact4: あのＢＡＳＨは委譲する fact5: もしその快足がセレクト出来ないとすればこのイットは委譲しないかまたは精肉だということはないか両方である fact6: あの放火は精肉だ fact7: このイットは定義付けであるならそれは気疲れする fact8: あの御胸は一つ辺りであるけれど有名無実化しない fact9: もし仮にとある物は作製だとしたら「左翼陣営だ」ということは嘘でない fact10: このイットは精肉である fact11: 取れ易くないものは華々しい一方で踏み消さない fact12: もしも何かはしがないとしたら擽ったい fact13: 仮にとあるものはセレクト出来るとすると「委譲しないか精肉でないかまたはどちらもだ」ということは成り立つということはない fact14: 「このイットはセレクト出来る」ということは成り立つ fact15: 華々しいものは委譲しないしさらにセレクト出来ない fact16: 仮にこのイットは少ないとすると「有名無実化しないかまたはナルシストでないか両方ともである」ということは誤りだ ; $hypothesis$ = 「「このイットは委譲しないかもしくは精肉でないか両方だ」ということは成り立つ」ということは嘘だ ; $proof$ = 
fact13 -> int1: もし仮にこのイットはセレクト出来るとしたら「委譲しないかあるいは精肉だということはないかもしくはどちらもである」ということは間違いである; int1 & fact14 -> hypothesis; __PROVED__
事実1: 取れ易いものは華々しくないがしかし踏み消す
事実2: なんらかの物はセレクト出来れば「精肉である」ということは成り立つ
事実3: もしもこのイットがセレクト出来ればそれは精肉である
事実4: あのＢＡＳＨは委譲する
事実5: もしその快足がセレクト出来ないとすればこのイットは委譲しないかまたは精肉だということはないか両方である
事実6: あの放火は精肉だ
事実7: このイットは定義付けであるならそれは気疲れする
事実8: あの御胸は一つ辺りであるけれど有名無実化しない
事実9: もし仮にとある物は作製だとしたら「左翼陣営だ」ということは嘘でない
事実10: このイットは精肉である
事実11: 取れ易くないものは華々しい一方で踏み消さない
事実12: もしも何かはしがないとしたら擽ったい
事実13: 仮にとあるものはセレクト出来るとすると「委譲しないか精肉でないかまたはどちらもだ」ということは成り立つということはない
事実14: 「このイットはセレクト出来る」ということは成り立つ
事実15: 華々しいものは委譲しないしさらにセレクト出来ない
事実16: 仮にこのイットは少ないとすると「有名無実化しないかまたはナルシストでないか両方ともである」ということは誤りだ

仮説: 「「このイットは委譲しないかもしくは精肉でないか両方だ」ということは成り立つ」ということは嘘だ
1. 事実13から、推論1: "もし仮にこのイットはセレクト出来るとしたら「委譲しないかあるいは精肉だということはないかもしくはどちらもである」ということは間違いである"が導かれる
2. 推論1と事実14から、仮説が導かれる

よって、仮説が証明されました。