「「赤黒いかあるいは古典主義でない」ということは偽な」ものはある
fact1: あの義祖母は預託しないとしたら「それは赤黒いかまたはそれは古典主義でないかまたは両方である」ということは誤っている fact2: あの義祖母は赤黒くない fact3: ある物は赤黒いかもしくは古典主義でないかもしくはどちらもである fact4: 「古典主義である」物はある fact5: あの義祖母は預託しない fact6: もし仮になにがしかの物は人格教養でないとすると「腑甲斐無いか発生し易くないかまたは両方だ」ということは偽である fact7: 「「赤黒いかまたは預託するかあるいはどちらもである」ということは事実と異なる」物はある fact8: あの義祖母が預託するということはないとすればそれは赤黒くない
fact1 & fact5 -> int1: 「あの義祖母は赤黒いかもしくは古典主義でない」ということは真実でない; int1 -> hypothesis;
もしこの情報発行・共有は人格教養でないならば「腑甲斐無いかまたはそれは発生し易いということはないか両方ともである」ということは成り立たない
fact9 -> hypothesis;
$facts$ = fact1: あの義祖母は預託しないとしたら「それは赤黒いかまたはそれは古典主義でないかまたは両方である」ということは誤っている fact2: あの義祖母は赤黒くない fact3: ある物は赤黒いかもしくは古典主義でないかもしくはどちらもである fact4: 「古典主義である」物はある fact5: あの義祖母は預託しない fact6: もし仮になにがしかの物は人格教養でないとすると「腑甲斐無いか発生し易くないかまたは両方だ」ということは偽である fact7: 「「赤黒いかまたは預託するかあるいはどちらもである」ということは事実と異なる」物はある fact8: あの義祖母が預託するということはないとすればそれは赤黒くない ; $hypothesis$ = 「「赤黒いかあるいは古典主義でない」ということは偽な」ものはある ; $proof$ = 
fact1 & fact5 -> int1: 「あの義祖母は赤黒いかもしくは古典主義でない」ということは真実でない; int1 -> hypothesis; __PROVED__
事実1: あの義祖母は預託しないとしたら「それは赤黒いかまたはそれは古典主義でないかまたは両方である」ということは誤っている
事実2: あの義祖母は赤黒くない
事実3: ある物は赤黒いかもしくは古典主義でないかもしくはどちらもである
事実4: 「古典主義である」物はある
事実5: あの義祖母は預託しない
事実6: もし仮になにがしかの物は人格教養でないとすると「腑甲斐無いか発生し易くないかまたは両方だ」ということは偽である
事実7: 「「赤黒いかまたは預託するかあるいはどちらもである」ということは事実と異なる」物はある
事実8: あの義祖母が預託するということはないとすればそれは赤黒くない

仮説: 「「赤黒いかあるいは古典主義でない」ということは偽な」ものはある
1. 事実1と事実5から、推論1: "「あの義祖母は赤黒いかもしくは古典主義でない」ということは真実でない"が導かれる
2. 推論1から、仮説が導かれる

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