「その酒保は穿るし更に読み辛い」ということは真実でない
fact1: なんらかのものが冗談っぽいとすればそれは穿る fact2: 「あの社会的能力は抱き抱えるし平均収入である」ということは間違いだ fact3: その酒保は丸いか面白おかしいか両方である fact4: ある物は冗談っぽくないとすれば「穿るしおまけにそれは読み辛い」ということは成り立たない fact5: もし仮になにがしかの物が挙るなら冗談っぽい fact6: もし仮に「なにがしかのものは丸い」ということは確かであるならそれは挙る fact7: その酒保は冗談っぽくない fact8: もし仮にその酒保が膨れ上がるとしたらそれは読み辛い
fact4 -> int1: もしその酒保は冗談っぽくないとすれば「それは穿るしまたそれは読み辛い」ということは本当でない; int1 & fact7 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact7 -> hypothesis;
その酒保は穿るし読み辛い
fact9 -> int2: その酒保が冗談っぽいとすればそれは穿る; fact13 -> int3: もし仮にその酒保が挙るとすれば冗談っぽい; fact10 -> int4: もしもその酒保は丸いならば「挙る」ということは確かだ;
$facts$ = fact1: なんらかのものが冗談っぽいとすればそれは穿る fact2: 「あの社会的能力は抱き抱えるし平均収入である」ということは間違いだ fact3: その酒保は丸いか面白おかしいか両方である fact4: ある物は冗談っぽくないとすれば「穿るしおまけにそれは読み辛い」ということは成り立たない fact5: もし仮になにがしかの物が挙るなら冗談っぽい fact6: もし仮に「なにがしかのものは丸い」ということは確かであるならそれは挙る fact7: その酒保は冗談っぽくない fact8: もし仮にその酒保が膨れ上がるとしたらそれは読み辛い ; $hypothesis$ = 「その酒保は穿るし更に読み辛い」ということは真実でない ; $proof$ = 
fact4 -> int1: もしその酒保は冗談っぽくないとすれば「それは穿るしまたそれは読み辛い」ということは本当でない; int1 & fact7 -> hypothesis; __PROVED__
事実1: なんらかのものが冗談っぽいとすればそれは穿る
事実2: 「あの社会的能力は抱き抱えるし平均収入である」ということは間違いだ
事実3: その酒保は丸いか面白おかしいか両方である
事実4: ある物は冗談っぽくないとすれば「穿るしおまけにそれは読み辛い」ということは成り立たない
事実5: もし仮になにがしかの物が挙るなら冗談っぽい
事実6: もし仮に「なにがしかのものは丸い」ということは確かであるならそれは挙る
事実7: その酒保は冗談っぽくない
事実8: もし仮にその酒保が膨れ上がるとしたらそれは読み辛い

仮説: 「その酒保は穿るし更に読み辛い」ということは真実でない
1. 事実4から、推論1: "もしその酒保は冗談っぽくないとすれば「それは穿るしまたそれは読み辛い」ということは本当でない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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