「その膝蓋は解像であるかあるいはむず痒いかまたは両方ともである」ということは間違いだ
fact1: あの油日岳は見覚えだということはない fact2: もし仮になんらかのものはむず痒いならば「裸子植物である」ということは成り立つ fact3: もし仮にこの安積野開墾は規模以上でないなら「「その膝蓋は解像であるかそれはむず痒い」ということは本当である」ということは間違いである fact4: 「「なにかは御尽力下さらないかもしくは規模以上であるかもしくは両方だ」ということは事実だ」ということは成り立たないとしたら裸子植物であるということはない fact5: 「その膝蓋はむず痒くないかあるいは御尽力下さる」ということは成り立たないなら「裸子植物でない」ということは正しい fact6: あの油日岳は実行し易い fact7: もし「あの油日岳は病歴であるかあるいは規模以上であるかあるいは両方だ」ということは誤っているとすれば比べない fact8: あの自己複製能は規模以上だ fact9: もしなんらかのものが御尽力下さるならそれは実行し易い fact10: もしも「その膝蓋は実行し易くない」ということは偽であるならばむず痒い fact11: もし仮に「なんらかの物はむず痒いかあるいはそれは実行し易い」ということは偽だとしたら解像でない fact12: もし仮に「その膝蓋は実行し易いということはないかそれは裸子植物であるかもしくは両方である」ということは間違いであるとしたらそれはむず痒くない fact13: 仮にあの油日岳がむず痒くないならばその膝蓋は解像であるかむず痒いかまたはどちらもである fact14: 仮にあの油日岳は実行し易いとしたら「それは御尽力下さらないかまたは規模以上だ」ということは成り立たない fact15: もしも「その稲架は期待し難いかまたは咲き乱れるか両方だ」ということは間違っていれば「細長いということはない」ということは成り立つ fact16: 仮にその膝蓋は活動し易いとすると「「受け入れられ易くないかもしくはそれは要求すか両方だ」ということは正しい」ということは偽である
fact2 -> int1: もしあの油日岳がむず痒いならばそれは裸子植物だ; void -> assump1: 以下のように仮定する。あの油日岳はむず痒い; int1 & assump1 -> int2: あの油日岳は裸子植物である; fact14 & fact6 -> int3: 「あの油日岳は御尽力下さらないかもしくは規模以上であるかもしくは両方ともだ」ということは偽である; fact4 -> int4: もし「あの油日岳は御尽力下さらないかそれは規模以上であるかまたは両方である」ということは成り立たないならばそれは裸子植物でない; int3 & int4 -> int5: 「あの油日岳は裸子植物でない」ということは本当である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの油日岳はむず痒くない; int7 & fact13 -> hypothesis;
「その膝蓋は解像であるかまたはむず痒いかあるいは両方である」ということは成り立たない
$facts$ = fact1: あの油日岳は見覚えだということはない fact2: もし仮になんらかのものはむず痒いならば「裸子植物である」ということは成り立つ fact3: もし仮にこの安積野開墾は規模以上でないなら「「その膝蓋は解像であるかそれはむず痒い」ということは本当である」ということは間違いである fact4: 「「なにかは御尽力下さらないかもしくは規模以上であるかもしくは両方だ」ということは事実だ」ということは成り立たないとしたら裸子植物であるということはない fact5: 「その膝蓋はむず痒くないかあるいは御尽力下さる」ということは成り立たないなら「裸子植物でない」ということは正しい fact6: あの油日岳は実行し易い fact7: もし「あの油日岳は病歴であるかあるいは規模以上であるかあるいは両方だ」ということは誤っているとすれば比べない fact8: あの自己複製能は規模以上だ fact9: もしなんらかのものが御尽力下さるならそれは実行し易い fact10: もしも「その膝蓋は実行し易くない」ということは偽であるならばむず痒い fact11: もし仮に「なんらかの物はむず痒いかあるいはそれは実行し易い」ということは偽だとしたら解像でない fact12: もし仮に「その膝蓋は実行し易いということはないかそれは裸子植物であるかもしくは両方である」ということは間違いであるとしたらそれはむず痒くない fact13: 仮にあの油日岳がむず痒くないならばその膝蓋は解像であるかむず痒いかまたはどちらもである fact14: 仮にあの油日岳は実行し易いとしたら「それは御尽力下さらないかまたは規模以上だ」ということは成り立たない fact15: もしも「その稲架は期待し難いかまたは咲き乱れるか両方だ」ということは間違っていれば「細長いということはない」ということは成り立つ fact16: 仮にその膝蓋は活動し易いとすると「「受け入れられ易くないかもしくはそれは要求すか両方だ」ということは正しい」ということは偽である ; $hypothesis$ = 「その膝蓋は解像であるかあるいはむず痒いかまたは両方ともである」ということは間違いだ ; $proof$ = 
fact2 -> int1: もしあの油日岳がむず痒いならばそれは裸子植物だ; void -> assump1: 以下のように仮定する。あの油日岳はむず痒い; int1 & assump1 -> int2: あの油日岳は裸子植物である; fact14 & fact6 -> int3: 「あの油日岳は御尽力下さらないかもしくは規模以上であるかもしくは両方ともだ」ということは偽である; fact4 -> int4: もし「あの油日岳は御尽力下さらないかそれは規模以上であるかまたは両方である」ということは成り立たないならばそれは裸子植物でない; int3 & int4 -> int5: 「あの油日岳は裸子植物でない」ということは本当である; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの油日岳はむず痒くない; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: あの油日岳は見覚えだということはない
事実2: もし仮になんらかのものはむず痒いならば「裸子植物である」ということは成り立つ
事実3: もし仮にこの安積野開墾は規模以上でないなら「「その膝蓋は解像であるかそれはむず痒い」ということは本当である」ということは間違いである
事実4: 「「なにかは御尽力下さらないかもしくは規模以上であるかもしくは両方だ」ということは事実だ」ということは成り立たないとしたら裸子植物であるということはない
事実5: 「その膝蓋はむず痒くないかあるいは御尽力下さる」ということは成り立たないなら「裸子植物でない」ということは正しい
事実6: あの油日岳は実行し易い
事実7: もし「あの油日岳は病歴であるかあるいは規模以上であるかあるいは両方だ」ということは誤っているとすれば比べない
事実8: あの自己複製能は規模以上だ
事実9: もしなんらかのものが御尽力下さるならそれは実行し易い
事実10: もしも「その膝蓋は実行し易くない」ということは偽であるならばむず痒い
事実11: もし仮に「なんらかの物はむず痒いかあるいはそれは実行し易い」ということは偽だとしたら解像でない
事実12: もし仮に「その膝蓋は実行し易いということはないかそれは裸子植物であるかもしくは両方である」ということは間違いであるとしたらそれはむず痒くない
事実13: 仮にあの油日岳がむず痒くないならばその膝蓋は解像であるかむず痒いかまたはどちらもである
事実14: 仮にあの油日岳は実行し易いとしたら「それは御尽力下さらないかまたは規模以上だ」ということは成り立たない
事実15: もしも「その稲架は期待し難いかまたは咲き乱れるか両方だ」ということは間違っていれば「細長いということはない」ということは成り立つ
事実16: 仮にその膝蓋は活動し易いとすると「「受け入れられ易くないかもしくはそれは要求すか両方だ」ということは正しい」ということは偽である

仮説: 「その膝蓋は解像であるかあるいはむず痒いかまたは両方ともである」ということは間違いだ
1. 事実2から、推論1: "もしあの油日岳がむず痒いならばそれは裸子植物だ"が導かれる
2. 仮定1: 以下のように仮定する。あの油日岳はむず痒い
3. 推論1と仮定1から、推論2: "あの油日岳は裸子植物である"が導かれる
4. 事実14と事実6から、推論3: "「あの油日岳は御尽力下さらないかもしくは規模以上であるかもしくは両方ともだ」ということは偽である"が導かれる
5. 事実4から、推論4: "もし「あの油日岳は御尽力下さらないかそれは規模以上であるかまたは両方である」ということは成り立たないならばそれは裸子植物でない"が導かれる
6. 推論3と推論4から、推論5: "「あの油日岳は裸子植物でない」ということは本当である"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの油日岳はむず痒くない"が導かれる
9. 推論7と事実13から、仮説が否定される

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