この保健教育は疎開しない
fact1: もしこの出現は疎開すれば「この保健教育は疎開する」ということは本当だ fact2: もしこの保健教育が疎開するがしかし南朝方でないとするとこの出現は堤防上でない fact3: この出現は堤防上だがしかしそれは南朝方でない fact4: この保健教育は堤防上である fact5: 「「この保健教育は可愛い」ということは成り立つ」ということは成り立たない fact6: この出現が南朝方である一方で疎開しないとしたらこの保健教育は堤防上でない fact7: 「この保健教育は働き難くない」ということは成り立つ fact8: 「そのターナー症候群は疎開する」ということは事実である fact9: この出現は堤防上だ fact10: あのババロアは堤防上だ fact11: もしも「この保健教育は堤防上だけど南朝方だということはない」ということは事実だとしたらこの出現は疎開しない fact12: この出現は恐ろしくない fact13: もし仮にこの出現が堤防上だ一方でそれが南朝方でないとしたらこの保健教育は疎開しない fact14: もしもこの出現が堤防上だ一方で疎開しないならこの保健教育は南朝方でない fact15: 仮にこの保健教育が堤防上だ一方でそれが疎開しないならばこの出現は南朝方でない fact16: あの奉行達は南朝方でない fact17: もしこの保健教育が南朝方だ一方で堤防上でないとすればあの出現は疎開しない
fact13 & fact3 -> hypothesis;
fact13 & fact3 -> hypothesis;
この保健教育は疎開する
$facts$ = fact1: もしこの出現は疎開すれば「この保健教育は疎開する」ということは本当だ fact2: もしこの保健教育が疎開するがしかし南朝方でないとするとこの出現は堤防上でない fact3: この出現は堤防上だがしかしそれは南朝方でない fact4: この保健教育は堤防上である fact5: 「「この保健教育は可愛い」ということは成り立つ」ということは成り立たない fact6: この出現が南朝方である一方で疎開しないとしたらこの保健教育は堤防上でない fact7: 「この保健教育は働き難くない」ということは成り立つ fact8: 「そのターナー症候群は疎開する」ということは事実である fact9: この出現は堤防上だ fact10: あのババロアは堤防上だ fact11: もしも「この保健教育は堤防上だけど南朝方だということはない」ということは事実だとしたらこの出現は疎開しない fact12: この出現は恐ろしくない fact13: もし仮にこの出現が堤防上だ一方でそれが南朝方でないとしたらこの保健教育は疎開しない fact14: もしもこの出現が堤防上だ一方で疎開しないならこの保健教育は南朝方でない fact15: 仮にこの保健教育が堤防上だ一方でそれが疎開しないならばこの出現は南朝方でない fact16: あの奉行達は南朝方でない fact17: もしこの保健教育が南朝方だ一方で堤防上でないとすればあの出現は疎開しない ; $hypothesis$ = この保健教育は疎開しない ; $proof$ = 
fact13 & fact3 -> hypothesis; __PROVED__
事実1: もしこの出現は疎開すれば「この保健教育は疎開する」ということは本当だ
事実2: もしこの保健教育が疎開するがしかし南朝方でないとするとこの出現は堤防上でない
事実3: この出現は堤防上だがしかしそれは南朝方でない
事実4: この保健教育は堤防上である
事実5: 「「この保健教育は可愛い」ということは成り立つ」ということは成り立たない
事実6: この出現が南朝方である一方で疎開しないとしたらこの保健教育は堤防上でない
事実7: 「この保健教育は働き難くない」ということは成り立つ
事実8: 「そのターナー症候群は疎開する」ということは事実である
事実9: この出現は堤防上だ
事実10: あのババロアは堤防上だ
事実11: もしも「この保健教育は堤防上だけど南朝方だということはない」ということは事実だとしたらこの出現は疎開しない
事実12: この出現は恐ろしくない
事実13: もし仮にこの出現が堤防上だ一方でそれが南朝方でないとしたらこの保健教育は疎開しない
事実14: もしもこの出現が堤防上だ一方で疎開しないならこの保健教育は南朝方でない
事実15: 仮にこの保健教育が堤防上だ一方でそれが疎開しないならばこの出現は南朝方でない
事実16: あの奉行達は南朝方でない
事実17: もしこの保健教育が南朝方だ一方で堤防上でないとすればあの出現は疎開しない

仮説: この保健教育は疎開しない
1. 事実13と事実3から、仮説が導かれる

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