「あの次頁は取得し易くてまた植物園である」ということは真実だということはない
fact1: もし仮に「なにがしかのものは女教師であるかもしくは課題設定であるかまたは両方だ」ということは成り立たないとすれば「それは非難がましい」ということは成り立つ fact2: 「あの次頁は植物園だ」ということは事実だ fact3: もし仮にこの登記事項要約書が自己主張しないとすればそれは植物園であるけれど後退しない fact4: 「なにがしかのものは取得し易くないしその上それは連鎖反応でない」ということは嘘だとすると「それは連鎖反応である」ということは正しい fact5: その左側部分は連鎖反応でない fact6: 「あの次頁は女教師である」ということは嘘でない fact7: 仮に「その左側部分は連鎖反応でない」ということは確かであるとすればあの次頁は女教師だ fact8: 「「あの次頁は女教師であるか課題設定であるかどちらもである」ということは成り立たないならばあの次頁は非難がましい」ということは確かだ fact9: その耳下腺は連鎖反応だ fact10: もし「その左側部分は連鎖反応だということはない」ということは正しいとすれば「あの次頁は女教師でないかまたはそれは課題設定であるかあるいは両方だ」ということは嘘だ fact11: 「「何らかの物は植物園だということはないかもしくは女教師だ」ということは事実と異なるとすると「取得し易い」ということは誤っていない」ということは確かである fact12: あの次頁が非難がましいとするとロットサイズだ fact13: ロットサイズは取得し易い fact14: なにかは自己主張するということはないかそれは立ち込めないかあるいは両方ともだ fact15: 仮にこの登記事項要約書が植物園だけど後退しないならそれは非難がましかない fact16: もし「あるものは女教師でないかそれは課題設定であるかもしくは両方ともだ」ということは本当でないとすると「それが非難はましくらない」ということは成り立たない
fact10 & fact5 -> int1: 「あの次頁は女教師でないかまたは課題設定であるかどちらもだ」ということは嘘である; fact16 -> int2: もし「あの次頁は女教師でないかもしくはそれは課題設定であるかあるいは両方である」ということは事実と異なるとしたら「それは非難がましい」ということは誤っていない; int1 & int2 -> int3: あの次頁は非難がましい; int3 & fact12 -> int4: あの次頁はロットサイズだ; fact13 -> int5: もしもあの次頁はロットサイズであるならそれは取得し易い; int4 & int5 -> int6: あの次頁は取得し易い; int6 & fact2 -> hypothesis;
その左側部分はロットサイズだ
fact19 -> int7: もしも「あの次頁は取得し易くないしそれは連鎖反応でない」ということは間違っているとしたら連鎖反応だ;
$facts$ = fact1: もし仮に「なにがしかのものは女教師であるかもしくは課題設定であるかまたは両方だ」ということは成り立たないとすれば「それは非難がましい」ということは成り立つ fact2: 「あの次頁は植物園だ」ということは事実だ fact3: もし仮にこの登記事項要約書が自己主張しないとすればそれは植物園であるけれど後退しない fact4: 「なにがしかのものは取得し易くないしその上それは連鎖反応でない」ということは嘘だとすると「それは連鎖反応である」ということは正しい fact5: その左側部分は連鎖反応でない fact6: 「あの次頁は女教師である」ということは嘘でない fact7: 仮に「その左側部分は連鎖反応でない」ということは確かであるとすればあの次頁は女教師だ fact8: 「「あの次頁は女教師であるか課題設定であるかどちらもである」ということは成り立たないならばあの次頁は非難がましい」ということは確かだ fact9: その耳下腺は連鎖反応だ fact10: もし「その左側部分は連鎖反応だということはない」ということは正しいとすれば「あの次頁は女教師でないかまたはそれは課題設定であるかあるいは両方だ」ということは嘘だ fact11: 「「何らかの物は植物園だということはないかもしくは女教師だ」ということは事実と異なるとすると「取得し易い」ということは誤っていない」ということは確かである fact12: あの次頁が非難がましいとするとロットサイズだ fact13: ロットサイズは取得し易い fact14: なにかは自己主張するということはないかそれは立ち込めないかあるいは両方ともだ fact15: 仮にこの登記事項要約書が植物園だけど後退しないならそれは非難がましかない fact16: もし「あるものは女教師でないかそれは課題設定であるかもしくは両方ともだ」ということは本当でないとすると「それが非難はましくらない」ということは成り立たない ; $hypothesis$ = 「あの次頁は取得し易くてまた植物園である」ということは真実だということはない ; $proof$ = 
fact10 & fact5 -> int1: 「あの次頁は女教師でないかまたは課題設定であるかどちらもだ」ということは嘘である; fact16 -> int2: もし「あの次頁は女教師でないかもしくはそれは課題設定であるかあるいは両方である」ということは事実と異なるとしたら「それは非難がましい」ということは誤っていない; int1 & int2 -> int3: あの次頁は非難がましい; int3 & fact12 -> int4: あの次頁はロットサイズだ; fact13 -> int5: もしもあの次頁はロットサイズであるならそれは取得し易い; int4 & int5 -> int6: あの次頁は取得し易い; int6 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかのものは女教師であるかもしくは課題設定であるかまたは両方だ」ということは成り立たないとすれば「それは非難がましい」ということは成り立つ
事実2: 「あの次頁は植物園だ」ということは事実だ
事実3: もし仮にこの登記事項要約書が自己主張しないとすればそれは植物園であるけれど後退しない
事実4: 「なにがしかのものは取得し易くないしその上それは連鎖反応でない」ということは嘘だとすると「それは連鎖反応である」ということは正しい
事実5: その左側部分は連鎖反応でない
事実6: 「あの次頁は女教師である」ということは嘘でない
事実7: 仮に「その左側部分は連鎖反応でない」ということは確かであるとすればあの次頁は女教師だ
事実8: 「「あの次頁は女教師であるか課題設定であるかどちらもである」ということは成り立たないならばあの次頁は非難がましい」ということは確かだ
事実9: その耳下腺は連鎖反応だ
事実10: もし「その左側部分は連鎖反応だということはない」ということは正しいとすれば「あの次頁は女教師でないかまたはそれは課題設定であるかあるいは両方だ」ということは嘘だ
事実11: 「「何らかの物は植物園だということはないかもしくは女教師だ」ということは事実と異なるとすると「取得し易い」ということは誤っていない」ということは確かである
事実12: あの次頁が非難がましいとするとロットサイズだ
事実13: ロットサイズは取得し易い
事実14: なにかは自己主張するということはないかそれは立ち込めないかあるいは両方ともだ
事実15: 仮にこの登記事項要約書が植物園だけど後退しないならそれは非難がましかない
事実16: もし「あるものは女教師でないかそれは課題設定であるかもしくは両方ともだ」ということは本当でないとすると「それが非難はましくらない」ということは成り立たない

仮説: 「あの次頁は取得し易くてまた植物園である」ということは真実だということはない
1. 事実10と事実5から、推論1: "「あの次頁は女教師でないかまたは課題設定であるかどちらもだ」ということは嘘である"が導かれる
2. 事実16から、推論2: "もし「あの次頁は女教師でないかもしくはそれは課題設定であるかあるいは両方である」ということは事実と異なるとしたら「それは非難がましい」ということは誤っていない"が導かれる
3. 推論1と推論2から、推論3: "あの次頁は非難がましい"が導かれる
4. 推論3と事実12から、推論4: "あの次頁はロットサイズだ"が導かれる
5. 事実13から、推論5: "もしもあの次頁はロットサイズであるならそれは取得し易い"が導かれる
6. 推論4と推論5から、推論6: "あの次頁は取得し易い"が導かれる
7. 推論6と事実2から、仮説が否定される

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