「「「角であるかまたは停学でないかあるいは両方ともである」ということは誤りである」物はある」ということは偽だ
fact1: 「角でない」ものはある fact2: 仮に「あの発煙筒は草姿でない」ということは誤りでないとするとギブアップする fact3: あの発煙筒は転び易い fact4: 仮にあのポテンシャルエネルギーは納棺しないとすれば「俗っぽいかそれは角でないかまたは両方だ」ということは嘘だ fact5: もしその庭師は他愛無くないなら「平ったいか停学でないかどちらもである」ということは間違いだ fact6: あの発煙筒は盗み見るということはない fact7: 仮にあの発煙筒が婚姻するということはないなら角だ fact8: 「基金保持であるかもしくは忘れ難いということはないかもしくは両方な」ものはある fact9: あの発煙筒は盗み見るということはないとすれば「それは角であるか停学でないかまたは両方ともである」ということは事実と異なる fact10: もしあの光速度は盗み見るとしたら「あの発煙筒はレファレンス質問であるかもしくはそれは真白くないかもしくは両方である」ということは誤りである
fact9 & fact6 -> int1: 「あの発煙筒は角であるかまたはそれは停学でないかもしくは両方ともだ」ということは偽だ; int1 -> hypothesis;
「「レファレンス質問であるか真白くないかもしくは両方ともである」ということは誤りである」ものはある
$facts$ = fact1: 「角でない」ものはある fact2: 仮に「あの発煙筒は草姿でない」ということは誤りでないとするとギブアップする fact3: あの発煙筒は転び易い fact4: 仮にあのポテンシャルエネルギーは納棺しないとすれば「俗っぽいかそれは角でないかまたは両方だ」ということは嘘だ fact5: もしその庭師は他愛無くないなら「平ったいか停学でないかどちらもである」ということは間違いだ fact6: あの発煙筒は盗み見るということはない fact7: 仮にあの発煙筒が婚姻するということはないなら角だ fact8: 「基金保持であるかもしくは忘れ難いということはないかもしくは両方な」ものはある fact9: あの発煙筒は盗み見るということはないとすれば「それは角であるか停学でないかまたは両方ともである」ということは事実と異なる fact10: もしあの光速度は盗み見るとしたら「あの発煙筒はレファレンス質問であるかもしくはそれは真白くないかもしくは両方である」ということは誤りである ; $hypothesis$ = 「「「角であるかまたは停学でないかあるいは両方ともである」ということは誤りである」物はある」ということは偽だ ; $proof$ = 
fact9 & fact6 -> int1: 「あの発煙筒は角であるかまたはそれは停学でないかもしくは両方ともだ」ということは偽だ; int1 -> hypothesis; __DISPROVED__
事実1: 「角でない」ものはある
事実2: 仮に「あの発煙筒は草姿でない」ということは誤りでないとするとギブアップする
事実3: あの発煙筒は転び易い
事実4: 仮にあのポテンシャルエネルギーは納棺しないとすれば「俗っぽいかそれは角でないかまたは両方だ」ということは嘘だ
事実5: もしその庭師は他愛無くないなら「平ったいか停学でないかどちらもである」ということは間違いだ
事実6: あの発煙筒は盗み見るということはない
事実7: 仮にあの発煙筒が婚姻するということはないなら角だ
事実8: 「基金保持であるかもしくは忘れ難いということはないかもしくは両方な」ものはある
事実9: あの発煙筒は盗み見るということはないとすれば「それは角であるか停学でないかまたは両方ともである」ということは事実と異なる
事実10: もしあの光速度は盗み見るとしたら「あの発煙筒はレファレンス質問であるかもしくはそれは真白くないかもしくは両方である」ということは誤りである

仮説: 「「「角であるかまたは停学でないかあるいは両方ともである」ということは誤りである」物はある」ということは偽だ
1. 事実9と事実6から、推論1: "「あの発煙筒は角であるかまたはそれは停学でないかもしくは両方ともだ」ということは偽だ"が導かれる
2. 推論1から、仮説が否定される

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