あの高直は書き留める
fact1: 「この日量は啜り込むがＧさんでない」ということは成り立たない fact2: 「この日量はＧさんであるけれど其れっぽくない」ということは成り立たない fact3: 仮に「この日量はＧさんであるけれど其れっぽくない」ということは成り立たないならば「あの高直は書き留めるということはない」ということは事実である fact4: もし「あの高直は其れっぽいがＧさんでない」ということは事実と異なるとしたらこの日量は書き留めない fact5: 仮に「この日量はＧさんであるけど書き留めるということはない」ということは誤りならば「あの高直は其れっぽい」ということは誤っている fact6: その農民達は其れっぽくない fact7: 「あの高直は書き留めるけど其れっぽくない」ということは偽だ fact8: 何らかの物が警戒しないとすればそれは書き留めるし加えて成せる fact9: 「あの高直はＧさんだが其れっぽいということはない」ということは誤りだとしたらこの日量は書き留めない fact10: 全ての物は警戒するししかも混交である fact11: もし「この日量はＧさんでない」ということは成り立つならばあの高直は書き留めない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あの高直は書き留める
fact12 -> int1: この日量は警戒するし混交だ; int1 -> int2: この日量は警戒する; int2 -> int3: 何もかもは警戒する; int3 -> int4: あの高直は警戒する;
$facts$ = fact1: 「この日量は啜り込むがＧさんでない」ということは成り立たない fact2: 「この日量はＧさんであるけれど其れっぽくない」ということは成り立たない fact3: 仮に「この日量はＧさんであるけれど其れっぽくない」ということは成り立たないならば「あの高直は書き留めるということはない」ということは事実である fact4: もし「あの高直は其れっぽいがＧさんでない」ということは事実と異なるとしたらこの日量は書き留めない fact5: 仮に「この日量はＧさんであるけど書き留めるということはない」ということは誤りならば「あの高直は其れっぽい」ということは誤っている fact6: その農民達は其れっぽくない fact7: 「あの高直は書き留めるけど其れっぽくない」ということは偽だ fact8: 何らかの物が警戒しないとすればそれは書き留めるし加えて成せる fact9: 「あの高直はＧさんだが其れっぽいということはない」ということは誤りだとしたらこの日量は書き留めない fact10: 全ての物は警戒するししかも混交である fact11: もし「この日量はＧさんでない」ということは成り立つならばあの高直は書き留めない ; $hypothesis$ = あの高直は書き留める ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この日量は啜り込むがＧさんでない」ということは成り立たない
事実2: 「この日量はＧさんであるけれど其れっぽくない」ということは成り立たない
事実3: 仮に「この日量はＧさんであるけれど其れっぽくない」ということは成り立たないならば「あの高直は書き留めるということはない」ということは事実である
事実4: もし「あの高直は其れっぽいがＧさんでない」ということは事実と異なるとしたらこの日量は書き留めない
事実5: 仮に「この日量はＧさんであるけど書き留めるということはない」ということは誤りならば「あの高直は其れっぽい」ということは誤っている
事実6: その農民達は其れっぽくない
事実7: 「あの高直は書き留めるけど其れっぽくない」ということは偽だ
事実8: 何らかの物が警戒しないとすればそれは書き留めるし加えて成せる
事実9: 「あの高直はＧさんだが其れっぽいということはない」ということは誤りだとしたらこの日量は書き留めない
事実10: 全ての物は警戒するししかも混交である
事実11: もし「この日量はＧさんでない」ということは成り立つならばあの高直は書き留めない

仮説: あの高直は書き留める
1. 事実3と事実2から、仮説が否定される

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