この翌春は主尊であるしそれは拙い
fact1: 仮にあの対角線は何形であるということはないなら力強くないかまたは忍び難くないかまたはどちらもである fact2: もしもこの何列が男関係であるしそれが国際ニュースだとするとあの対角線は骨盤腔でない fact3: 「あの対角線は力強くないかもしくはそれは忍び難くないかまたは両方ともだ」ということは間違いだ fact4: この何列は力強くない fact5: もしもあの対角線は何形でないなら力強くないかもしくは忍び難いかあるいは両方ともである fact6: 何かは何形であるがしかし七手詰めでないならば主尊だ fact7: この翌春は喋り難くて更に胃酸分泌である fact8: もしもあの対角線が何形でないならそれは主尊でないかまたは七手詰めであるということはない fact9: この翌春は読み通すしかつ摘発する fact10: その通信簿は出品出来ない fact11: もし仮にあの対角線が何形だし加えて七手詰めだとしたらこの何列は主尊でない fact12: もしもその通信簿が出品出来ないならこの何列は男関係であるし核保有である fact13: あの対角線が何形でないとすれば力強いか忍び難くない fact14: 「もしもこの翌春が酸素原子でないとするとこの翌春は何形である一方でそれは七手詰めでない」ということは偽でない fact15: あの対角線は七手詰めである fact16: この何列は主尊でないならば「この翌春は主尊であるし拙い」ということは成り立つということはない fact17: もしあの対角線が骨盤腔でないとするとそれは答申するかまたはそれはくどい fact18: この翌春は酸素原子でない
void -> assump1: 以下のように仮定する。あの対角線は何形でない; fact1 & assump1 -> int1: あの対角線は力強くないかもしくは忍び難くないかもしくは両方である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの対角線は何形だ; int3 & fact15 -> int4: あの対角線は何形で更にそれは七手詰めだ; int4 & fact11 -> int5: この何列は主尊でない; int5 & fact16 -> hypothesis;
この翌春は主尊だし更に拙い
fact21 -> int6: 仮にこの翌春は何形であるけど七手詰めでないとすれば主尊である; fact23 & fact19 -> int7: この翌春は何形であるがしかしそれは七手詰めでない; int6 & int7 -> int8: この翌春は主尊だ; fact22 & fact24 -> int9: この何列は男関係で核保有だ; int9 -> int10: この何列は男関係である;
$facts$ = fact1: 仮にあの対角線は何形であるということはないなら力強くないかまたは忍び難くないかまたはどちらもである fact2: もしもこの何列が男関係であるしそれが国際ニュースだとするとあの対角線は骨盤腔でない fact3: 「あの対角線は力強くないかもしくはそれは忍び難くないかまたは両方ともだ」ということは間違いだ fact4: この何列は力強くない fact5: もしもあの対角線は何形でないなら力強くないかもしくは忍び難いかあるいは両方ともである fact6: 何かは何形であるがしかし七手詰めでないならば主尊だ fact7: この翌春は喋り難くて更に胃酸分泌である fact8: もしもあの対角線が何形でないならそれは主尊でないかまたは七手詰めであるということはない fact9: この翌春は読み通すしかつ摘発する fact10: その通信簿は出品出来ない fact11: もし仮にあの対角線が何形だし加えて七手詰めだとしたらこの何列は主尊でない fact12: もしもその通信簿が出品出来ないならこの何列は男関係であるし核保有である fact13: あの対角線が何形でないとすれば力強いか忍び難くない fact14: 「もしもこの翌春が酸素原子でないとするとこの翌春は何形である一方でそれは七手詰めでない」ということは偽でない fact15: あの対角線は七手詰めである fact16: この何列は主尊でないならば「この翌春は主尊であるし拙い」ということは成り立つということはない fact17: もしあの対角線が骨盤腔でないとするとそれは答申するかまたはそれはくどい fact18: この翌春は酸素原子でない ; $hypothesis$ = この翌春は主尊であるしそれは拙い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの対角線は何形でない; fact1 & assump1 -> int1: あの対角線は力強くないかもしくは忍び難くないかもしくは両方である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの対角線は何形だ; int3 & fact15 -> int4: あの対角線は何形で更にそれは七手詰めだ; int4 & fact11 -> int5: この何列は主尊でない; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: 仮にあの対角線は何形であるということはないなら力強くないかまたは忍び難くないかまたはどちらもである
事実2: もしもこの何列が男関係であるしそれが国際ニュースだとするとあの対角線は骨盤腔でない
事実3: 「あの対角線は力強くないかもしくはそれは忍び難くないかまたは両方ともだ」ということは間違いだ
事実4: この何列は力強くない
事実5: もしもあの対角線は何形でないなら力強くないかもしくは忍び難いかあるいは両方ともである
事実6: 何かは何形であるがしかし七手詰めでないならば主尊だ
事実7: この翌春は喋り難くて更に胃酸分泌である
事実8: もしもあの対角線が何形でないならそれは主尊でないかまたは七手詰めであるということはない
事実9: この翌春は読み通すしかつ摘発する
事実10: その通信簿は出品出来ない
事実11: もし仮にあの対角線が何形だし加えて七手詰めだとしたらこの何列は主尊でない
事実12: もしもその通信簿が出品出来ないならこの何列は男関係であるし核保有である
事実13: あの対角線が何形でないとすれば力強いか忍び難くない
事実14: 「もしもこの翌春が酸素原子でないとするとこの翌春は何形である一方でそれは七手詰めでない」ということは偽でない
事実15: あの対角線は七手詰めである
事実16: この何列は主尊でないならば「この翌春は主尊であるし拙い」ということは成り立つということはない
事実17: もしあの対角線が骨盤腔でないとするとそれは答申するかまたはそれはくどい
事実18: この翌春は酸素原子でない

仮説: この翌春は主尊であるしそれは拙い
1. 仮定1: 以下のように仮定する。あの対角線は何形でない
2. 事実1と仮定1から、推論1: "あの対角線は力強くないかもしくは忍び難くないかもしくは両方である"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの対角線は何形だ"が導かれる
5. 推論3と事実15から、推論4: "あの対角線は何形で更にそれは七手詰めだ"が導かれる
6. 推論4と事実11から、推論5: "この何列は主尊でない"が導かれる
7. 推論5と事実16から、仮説が否定される

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