「この叢生はリードオアゾーンでない」ということは確かである
fact1: 「「恥ずかしかもしくは引き直さないかあるいはどちらもだ」ということは偽な」物はある fact2: もし「「「恥ずかしかもしくは引き直さないかまたは両方ともである」ということは誤っている」ものはある」ということは本当だとしたらその動議は××さんだ fact3: 「「リードオアゾーンであるかあるいは××さんでないかもしくは両方だ」ということは間違っている」物はある fact4: 「何かは恥ずかしない」ということは成り立つ fact5: もし仮にこの叢生が××さんならばその動議はリードオアゾーンである fact6: なにかは恥ずかしかあるいはそれは引き直さない fact7: 「「「××さんであるかまたはリードオアゾーンでないかあるいは両方だ」ということは間違っている」物はある」ということは成り立つ fact8: 仮に「その動議は××さんである」ということは真実であるならばこの叢生はリードオアゾーンである fact9: 「「リードオアゾーンであるか××さんである」ということは成り立たない」物はある fact10: 仮にその動議がリードオアゾーンだとすればこの叢生は××さんである fact11: 細いものは与え兼ねる fact12: 「「制度構築であるか尋ね得ないかまたは両方ともである」ということは成り立つということはない」ものはある fact13: この叢生は××さんだ fact14: もしもその動議が経験しないとしたらこの叢生は寝直すし細い fact15: もし何かは与え兼ねるとすればそれはリードオアゾーンでないがしかし××さんである fact16: 「××さんであるかまたはリードオアゾーンでない」ものはある fact17: その動議が恥ずかしならこの叢生は引き直す
fact1 & fact2 -> int1: その動議は××さんだ; int1 & fact8 -> hypothesis;
fact1 & fact2 -> int1: {A}{a}; int1 & fact8 -> hypothesis;
この叢生はリードオアゾーンでない
fact18 -> int2: もしこの叢生が与え兼ねるとしたらリードオアゾーンでないけど××さんだ; fact19 -> int3: 仮に「この叢生は細い」ということは真実だとしたら与え兼ねる;
$facts$ = fact1: 「「恥ずかしかもしくは引き直さないかあるいはどちらもだ」ということは偽な」物はある fact2: もし「「「恥ずかしかもしくは引き直さないかまたは両方ともである」ということは誤っている」ものはある」ということは本当だとしたらその動議は××さんだ fact3: 「「リードオアゾーンであるかあるいは××さんでないかもしくは両方だ」ということは間違っている」物はある fact4: 「何かは恥ずかしない」ということは成り立つ fact5: もし仮にこの叢生が××さんならばその動議はリードオアゾーンである fact6: なにかは恥ずかしかあるいはそれは引き直さない fact7: 「「「××さんであるかまたはリードオアゾーンでないかあるいは両方だ」ということは間違っている」物はある」ということは成り立つ fact8: 仮に「その動議は××さんである」ということは真実であるならばこの叢生はリードオアゾーンである fact9: 「「リードオアゾーンであるか××さんである」ということは成り立たない」物はある fact10: 仮にその動議がリードオアゾーンだとすればこの叢生は××さんである fact11: 細いものは与え兼ねる fact12: 「「制度構築であるか尋ね得ないかまたは両方ともである」ということは成り立つということはない」ものはある fact13: この叢生は××さんだ fact14: もしもその動議が経験しないとしたらこの叢生は寝直すし細い fact15: もし何かは与え兼ねるとすればそれはリードオアゾーンでないがしかし××さんである fact16: 「××さんであるかまたはリードオアゾーンでない」ものはある fact17: その動議が恥ずかしならこの叢生は引き直す ; $hypothesis$ = 「この叢生はリードオアゾーンでない」ということは確かである ; $proof$ = 
fact1 & fact2 -> int1: その動議は××さんだ; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 「「恥ずかしかもしくは引き直さないかあるいはどちらもだ」ということは偽な」物はある
事実2: もし「「「恥ずかしかもしくは引き直さないかまたは両方ともである」ということは誤っている」ものはある」ということは本当だとしたらその動議は××さんだ
事実3: 「「リードオアゾーンであるかあるいは××さんでないかもしくは両方だ」ということは間違っている」物はある
事実4: 「何かは恥ずかしない」ということは成り立つ
事実5: もし仮にこの叢生が××さんならばその動議はリードオアゾーンである
事実6: なにかは恥ずかしかあるいはそれは引き直さない
事実7: 「「「××さんであるかまたはリードオアゾーンでないかあるいは両方だ」ということは間違っている」物はある」ということは成り立つ
事実8: 仮に「その動議は××さんである」ということは真実であるならばこの叢生はリードオアゾーンである
事実9: 「「リードオアゾーンであるか××さんである」ということは成り立たない」物はある
事実10: 仮にその動議がリードオアゾーンだとすればこの叢生は××さんである
事実11: 細いものは与え兼ねる
事実12: 「「制度構築であるか尋ね得ないかまたは両方ともである」ということは成り立つということはない」ものはある
事実13: この叢生は××さんだ
事実14: もしもその動議が経験しないとしたらこの叢生は寝直すし細い
事実15: もし何かは与え兼ねるとすればそれはリードオアゾーンでないがしかし××さんである
事実16: 「××さんであるかまたはリードオアゾーンでない」ものはある
事実17: その動議が恥ずかしならこの叢生は引き直す

仮説: 「この叢生はリードオアゾーンでない」ということは確かである
1. 事実1と事実2から、推論1: "その動議は××さんだ"が導かれる
2. 推論1と事実8から、仮説が否定される

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