あの皿洗いはパッシブだ
fact1: 「あの日本語学は遡れるし第二‐二表である」ということは真実でない fact2: もし仮に「あの日本語学は遡れないけれどそれは第二‐二表である」ということは誤っているとするとあの皿洗いはパッシブである fact3: 仮にあの生活改善グループは遡れるなら「あの皿洗いは遡れる」ということは真実だ fact4: 「第二‐二表な」物はある fact5: 仮にその社会化論は読書レディネスでないなら「あの生活改善グループは第二‐二表であるがしかし遡れない」ということは間違いだ fact6: もし仮に「ＰＨＰスクリプトである」物はあるなら「あの日本語学は遡れないがしかしそれは第二‐二表だ」ということは成り立たない fact7: 仮にこの右心不全が読書レディネスでないとしたらその社会化論は読書レディネスでない fact8: あの皿洗いが遡れるとしたらあの日本語学はＰＨＰスクリプトだ fact9: 「第二‐二表である」物はあるなら「あの皿洗いはパッシブでない一方でそれは遡れる」ということは成り立たない fact10: なんらかの物はＰＨＰスクリプトである fact11: 「あの日本語学は遡れるということはない一方でパッシブである」ということは成り立たない fact12: 「遡れる」物はあるとしたら「あの皿洗いはパッシブであるし第二‐二表だ」ということは誤りだ fact13: あの日本語学が遡れるとするとあの皿洗いはパッシブだ fact14: 「あの皿洗いはＰＨＰスクリプトでないけど言い切る」ということは間違いである fact15: 仮に「ＰＨＰスクリプトな」ものはあるとしたら「あの日本語学は遡れるし第二‐二表だ」ということは成り立たない fact16: もし「あの生活改善グループが第二‐二表だけどそれは遡れない」ということは成り立たないならばあの日本語学はＰＨＰスクリプトでない fact17: もしも何かはＰＨＰスクリプトであるとすれば形跡である
fact10 & fact6 -> int1: 「あの日本語学は遡れないけれどそれは第二‐二表だ」ということは誤りである; int1 & fact2 -> hypothesis;
あの皿洗いはパッシブでない
$facts$ = fact1: 「あの日本語学は遡れるし第二‐二表である」ということは真実でない fact2: もし仮に「あの日本語学は遡れないけれどそれは第二‐二表である」ということは誤っているとするとあの皿洗いはパッシブである fact3: 仮にあの生活改善グループは遡れるなら「あの皿洗いは遡れる」ということは真実だ fact4: 「第二‐二表な」物はある fact5: 仮にその社会化論は読書レディネスでないなら「あの生活改善グループは第二‐二表であるがしかし遡れない」ということは間違いだ fact6: もし仮に「ＰＨＰスクリプトである」物はあるなら「あの日本語学は遡れないがしかしそれは第二‐二表だ」ということは成り立たない fact7: 仮にこの右心不全が読書レディネスでないとしたらその社会化論は読書レディネスでない fact8: あの皿洗いが遡れるとしたらあの日本語学はＰＨＰスクリプトだ fact9: 「第二‐二表である」物はあるなら「あの皿洗いはパッシブでない一方でそれは遡れる」ということは成り立たない fact10: なんらかの物はＰＨＰスクリプトである fact11: 「あの日本語学は遡れるということはない一方でパッシブである」ということは成り立たない fact12: 「遡れる」物はあるとしたら「あの皿洗いはパッシブであるし第二‐二表だ」ということは誤りだ fact13: あの日本語学が遡れるとするとあの皿洗いはパッシブだ fact14: 「あの皿洗いはＰＨＰスクリプトでないけど言い切る」ということは間違いである fact15: 仮に「ＰＨＰスクリプトな」ものはあるとしたら「あの日本語学は遡れるし第二‐二表だ」ということは成り立たない fact16: もし「あの生活改善グループが第二‐二表だけどそれは遡れない」ということは成り立たないならばあの日本語学はＰＨＰスクリプトでない fact17: もしも何かはＰＨＰスクリプトであるとすれば形跡である ; $hypothesis$ = あの皿洗いはパッシブだ ; $proof$ = 
fact10 & fact6 -> int1: 「あの日本語学は遡れないけれどそれは第二‐二表だ」ということは誤りである; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「あの日本語学は遡れるし第二‐二表である」ということは真実でない
事実2: もし仮に「あの日本語学は遡れないけれどそれは第二‐二表である」ということは誤っているとするとあの皿洗いはパッシブである
事実3: 仮にあの生活改善グループは遡れるなら「あの皿洗いは遡れる」ということは真実だ
事実4: 「第二‐二表な」物はある
事実5: 仮にその社会化論は読書レディネスでないなら「あの生活改善グループは第二‐二表であるがしかし遡れない」ということは間違いだ
事実6: もし仮に「ＰＨＰスクリプトである」物はあるなら「あの日本語学は遡れないがしかしそれは第二‐二表だ」ということは成り立たない
事実7: 仮にこの右心不全が読書レディネスでないとしたらその社会化論は読書レディネスでない
事実8: あの皿洗いが遡れるとしたらあの日本語学はＰＨＰスクリプトだ
事実9: 「第二‐二表である」物はあるなら「あの皿洗いはパッシブでない一方でそれは遡れる」ということは成り立たない
事実10: なんらかの物はＰＨＰスクリプトである
事実11: 「あの日本語学は遡れるということはない一方でパッシブである」ということは成り立たない
事実12: 「遡れる」物はあるとしたら「あの皿洗いはパッシブであるし第二‐二表だ」ということは誤りだ
事実13: あの日本語学が遡れるとするとあの皿洗いはパッシブだ
事実14: 「あの皿洗いはＰＨＰスクリプトでないけど言い切る」ということは間違いである
事実15: 仮に「ＰＨＰスクリプトな」ものはあるとしたら「あの日本語学は遡れるし第二‐二表だ」ということは成り立たない
事実16: もし「あの生活改善グループが第二‐二表だけどそれは遡れない」ということは成り立たないならばあの日本語学はＰＨＰスクリプトでない
事実17: もしも何かはＰＨＰスクリプトであるとすれば形跡である

仮説: あの皿洗いはパッシブだ
1. 事実10と事実6から、推論1: "「あの日本語学は遡れないけれどそれは第二‐二表だ」ということは誤りである"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。