あの竹内トキ子は出来難くない
fact1: もしも満遍無いし育ち難くないものがあればこの御茶碗は真っ白くない fact2: 満遍無くないものは寒々しかないか育ち難くないかもしくはどちらもである fact3: もしもあるものが寒々しいということはないならそれは出来難くない fact4: もし「なんらかのものは真っ白くないしかつそれは出来難くない」ということは事実と異なるとすればそれは真っ白い fact5: もしそのスマトラ菜が寒々しいとするとあの竹内トキ子は出来難い fact6: なにかは取り澄ますなら「それは刳り抜かないしまた俗っぽい」ということは本当でない fact7: 仮に「「そのスマトラ菜はめんど臭いかまたはそれは戦勝国でないかもしくはどちらもである」ということは事実と異ならない」ということは偽であるとすればあの御茶碗は真っ白い fact8: もし仮になにがしかのものは寒々しかないならば「めんど臭いか戦勝国でない」ということは成り立たない fact9: 仮にこの御茶碗が寒々しかないかそれが育ち難くないかもしくはどちらもであるとすればこの欧化政策は寒々しい fact10: 「満遍無くて育ち難くない」ものはある fact11: もしも「あの竹内トキ子は刳り抜くということはないけれど俗っぽい」ということは間違っているならこの御茶碗は満遍無くない fact12: 仮に何らかのものは寒々しいならば「それは真っ白いということはないしまた出来難くない」ということは成り立たない
fact8 -> int1: もし仮にそのスマトラ菜は寒々しいということはないなら「めんど臭いかあるいは戦勝国でないかもしくは両方ともだ」ということは嘘だ; void -> assump1: 以下のように仮定する。そのスマトラ菜は寒々しかない; int1 & assump1 -> int2: 「そのスマトラ菜はめんど臭いかあるいは戦勝国でないかもしくは両方である」ということは嘘だ; int2 & fact7 -> int3: この御茶碗は真っ白い; fact1 & fact10 -> int4: この御茶碗は真っ白くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのスマトラ菜は寒々しい」ということは本当である; int6 & fact5 -> hypothesis;
この欧化政策は真っ白い
fact16 -> int7: もしも「この欧化政策は真っ白くないし更に出来難くない」ということは誤っているとすれば真っ白い; fact17 -> int8: もしこの欧化政策は寒々しいなら「それは真っ白くないしそれは出来難くない」ということは間違いである; fact18 -> int9: もし仮にこの御茶碗が満遍無くないとするとそれは寒々しかないかまたはそれは育ち難くないかまたはどちらもだ; fact14 -> int10: あの竹内トキ子は取り澄ますとすると「刳り抜かなくてそれに俗っぽい」ということは間違いだ;
$facts$ = fact1: もしも満遍無いし育ち難くないものがあればこの御茶碗は真っ白くない fact2: 満遍無くないものは寒々しかないか育ち難くないかもしくはどちらもである fact3: もしもあるものが寒々しいということはないならそれは出来難くない fact4: もし「なんらかのものは真っ白くないしかつそれは出来難くない」ということは事実と異なるとすればそれは真っ白い fact5: もしそのスマトラ菜が寒々しいとするとあの竹内トキ子は出来難い fact6: なにかは取り澄ますなら「それは刳り抜かないしまた俗っぽい」ということは本当でない fact7: 仮に「「そのスマトラ菜はめんど臭いかまたはそれは戦勝国でないかもしくはどちらもである」ということは事実と異ならない」ということは偽であるとすればあの御茶碗は真っ白い fact8: もし仮になにがしかのものは寒々しかないならば「めんど臭いか戦勝国でない」ということは成り立たない fact9: 仮にこの御茶碗が寒々しかないかそれが育ち難くないかもしくはどちらもであるとすればこの欧化政策は寒々しい fact10: 「満遍無くて育ち難くない」ものはある fact11: もしも「あの竹内トキ子は刳り抜くということはないけれど俗っぽい」ということは間違っているならこの御茶碗は満遍無くない fact12: 仮に何らかのものは寒々しいならば「それは真っ白いということはないしまた出来難くない」ということは成り立たない ; $hypothesis$ = あの竹内トキ子は出来難くない ; $proof$ = 
fact8 -> int1: もし仮にそのスマトラ菜は寒々しいということはないなら「めんど臭いかあるいは戦勝国でないかもしくは両方ともだ」ということは嘘だ; void -> assump1: 以下のように仮定する。そのスマトラ菜は寒々しかない; int1 & assump1 -> int2: 「そのスマトラ菜はめんど臭いかあるいは戦勝国でないかもしくは両方である」ということは嘘だ; int2 & fact7 -> int3: この御茶碗は真っ白い; fact1 & fact10 -> int4: この御茶碗は真っ白くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「そのスマトラ菜は寒々しい」ということは本当である; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも満遍無いし育ち難くないものがあればこの御茶碗は真っ白くない
事実2: 満遍無くないものは寒々しかないか育ち難くないかもしくはどちらもである
事実3: もしもあるものが寒々しいということはないならそれは出来難くない
事実4: もし「なんらかのものは真っ白くないしかつそれは出来難くない」ということは事実と異なるとすればそれは真っ白い
事実5: もしそのスマトラ菜が寒々しいとするとあの竹内トキ子は出来難い
事実6: なにかは取り澄ますなら「それは刳り抜かないしまた俗っぽい」ということは本当でない
事実7: 仮に「「そのスマトラ菜はめんど臭いかまたはそれは戦勝国でないかもしくはどちらもである」ということは事実と異ならない」ということは偽であるとすればあの御茶碗は真っ白い
事実8: もし仮になにがしかのものは寒々しかないならば「めんど臭いか戦勝国でない」ということは成り立たない
事実9: 仮にこの御茶碗が寒々しかないかそれが育ち難くないかもしくはどちらもであるとすればこの欧化政策は寒々しい
事実10: 「満遍無くて育ち難くない」ものはある
事実11: もしも「あの竹内トキ子は刳り抜くということはないけれど俗っぽい」ということは間違っているならこの御茶碗は満遍無くない
事実12: 仮に何らかのものは寒々しいならば「それは真っ白いということはないしまた出来難くない」ということは成り立たない

仮説: あの竹内トキ子は出来難くない
1. 事実8から、推論1: "もし仮にそのスマトラ菜は寒々しいということはないなら「めんど臭いかあるいは戦勝国でないかもしくは両方ともだ」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。そのスマトラ菜は寒々しかない
3. 推論1と仮定1から、推論2: "「そのスマトラ菜はめんど臭いかあるいは戦勝国でないかもしくは両方である」ということは嘘だ"が導かれる
4. 推論2と事実7から、推論3: "この御茶碗は真っ白い"が導かれる
5. 事実1と事実10から、推論4: "この御茶碗は真っ白くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「そのスマトラ菜は寒々しい」ということは本当である"が導かれる
8. 推論6と事実5から、仮説が否定される

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