このアルタットは真ん丸くない
fact1: あの下巻は真ん丸くない fact2: あの下巻は考え辛い fact3: このアルタットは聾しない fact4: なんらかのものは真ん丸くない一方でふてぶてしいならばそれは聾しない fact5: 「考え辛いか聾する」ものがあるとすればこのアルタットは真ん丸くない fact6: もし仮に「聾するか真ん丸い」物があるとすればこのアルタットは考え辛くない fact7: 仮にあの下巻がふてぶてしいということはないならこのアルタットは考え辛いし聾する fact8: 滑り難くないものは真ん丸くないけれどふてぶてしい
fact2 -> int1: あの下巻は考え辛いかまたは聾するか両方だ; int1 -> int2: 「考え辛いかまたは聾するかまたは両方ともな」物はある; int2 & fact5 -> hypothesis;
あの心置きは運転し易い
fact10 -> int3: もしもあの下巻は真ん丸くない一方でふてぶてしいならそれは聾しない; fact9 -> int4: もし仮に「このアルタットは滑り難い」ということは本当でないならば真ん丸くないがしかしふてぶてしい;
$facts$ = fact1: あの下巻は真ん丸くない fact2: あの下巻は考え辛い fact3: このアルタットは聾しない fact4: なんらかのものは真ん丸くない一方でふてぶてしいならばそれは聾しない fact5: 「考え辛いか聾する」ものがあるとすればこのアルタットは真ん丸くない fact6: もし仮に「聾するか真ん丸い」物があるとすればこのアルタットは考え辛くない fact7: 仮にあの下巻がふてぶてしいということはないならこのアルタットは考え辛いし聾する fact8: 滑り難くないものは真ん丸くないけれどふてぶてしい ; $hypothesis$ = このアルタットは真ん丸くない ; $proof$ = 
fact2 -> int1: あの下巻は考え辛いかまたは聾するか両方だ; int1 -> int2: 「考え辛いかまたは聾するかまたは両方ともな」物はある; int2 & fact5 -> hypothesis; __PROVED__
事実1: あの下巻は真ん丸くない
事実2: あの下巻は考え辛い
事実3: このアルタットは聾しない
事実4: なんらかのものは真ん丸くない一方でふてぶてしいならばそれは聾しない
事実5: 「考え辛いか聾する」ものがあるとすればこのアルタットは真ん丸くない
事実6: もし仮に「聾するか真ん丸い」物があるとすればこのアルタットは考え辛くない
事実7: 仮にあの下巻がふてぶてしいということはないならこのアルタットは考え辛いし聾する
事実8: 滑り難くないものは真ん丸くないけれどふてぶてしい

仮説: このアルタットは真ん丸くない
1. 事実2から、推論1: "あの下巻は考え辛いかまたは聾するか両方だ"が導かれる
2. 推論1から、推論2: "「考え辛いかまたは聾するかまたは両方ともな」物はある"が導かれる
3. 推論2と事実5から、仮説が導かれる

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