このジープはブロー成型でない
fact1: 「あの健康改善プログラムはまどろっこしくらない」ということは確かだ fact2: このジープは再利用出来ない fact3: もしもあの健康改善プログラムはまどろっこしくらないとしたら「このニュー・ウェイブは再利用出来るかあるいはそれは細まるかもしくは両方だ」ということは成り立たない fact4: 「このニュー・ウェイブは再利用出来るかまたはそれはまどろっこしいかまたは両方だ」ということは成り立つということはないならばあの健康改善プログラムは細まるない fact5: もし仮に「その普通教育は再利用出来るかまたはそれは細まる」ということは成り立たないとすればこのニュー・ウェイブは忍耐力でない fact6: このニュー・ウェイブは忍耐力でない fact7: もしも「このニュー・ウェイブは細まるかあるいはまどろっこしいかあるいは両方だ」ということは成り立たないならばその普通教育は忍耐力であるということはない fact8: 「このニュー・ウェイブは再利用出来るかまたはブロー成型であるかもしくはどちらもだ」ということは成り立たない fact9: あの健康改善プログラムは再利用出来ない fact10: もし仮にその普通教育が忍耐力でないとしたらこのジープはブロー成型でない fact11: このニュー・ウェイブが忍耐力であるということはないとしたらその普通教育は再利用出来ない fact12: 仮にこのニュー・ウェイブはまどろっこしくらないなら「その普通教育は忍耐力であるかあるいはそれは細まるかもしくはどちらもである」ということは事実と異なる fact13: 「このニュー・ウェイブは再利用出来るか細まるかあるいは両方ともである」ということは成り立たないならその普通教育は忍耐力でない fact14: あのモデルは再利用出来ない
fact3 & fact1 -> int1: 「「「このニュー・ウェイブは再利用出来るかあるいは細まる」ということは成り立つ」ということは誤っている」ということは誤っているということはない; int1 & fact13 -> int2: その普通教育は忍耐力でない; int2 & fact10 -> hypothesis;
$facts$ = fact1: 「あの健康改善プログラムはまどろっこしくらない」ということは確かだ fact2: このジープは再利用出来ない fact3: もしもあの健康改善プログラムはまどろっこしくらないとしたら「このニュー・ウェイブは再利用出来るかあるいはそれは細まるかもしくは両方だ」ということは成り立たない fact4: 「このニュー・ウェイブは再利用出来るかまたはそれはまどろっこしいかまたは両方だ」ということは成り立つということはないならばあの健康改善プログラムは細まるない fact5: もし仮に「その普通教育は再利用出来るかまたはそれは細まる」ということは成り立たないとすればこのニュー・ウェイブは忍耐力でない fact6: このニュー・ウェイブは忍耐力でない fact7: もしも「このニュー・ウェイブは細まるかあるいはまどろっこしいかあるいは両方だ」ということは成り立たないならばその普通教育は忍耐力であるということはない fact8: 「このニュー・ウェイブは再利用出来るかまたはブロー成型であるかもしくはどちらもだ」ということは成り立たない fact9: あの健康改善プログラムは再利用出来ない fact10: もし仮にその普通教育が忍耐力でないとしたらこのジープはブロー成型でない fact11: このニュー・ウェイブが忍耐力であるということはないとしたらその普通教育は再利用出来ない fact12: 仮にこのニュー・ウェイブはまどろっこしくらないなら「その普通教育は忍耐力であるかあるいはそれは細まるかもしくはどちらもである」ということは事実と異なる fact13: 「このニュー・ウェイブは再利用出来るか細まるかあるいは両方ともである」ということは成り立たないならその普通教育は忍耐力でない fact14: あのモデルは再利用出来ない ; $hypothesis$ = このジープはブロー成型でない ; $proof$ = 
fact3 & fact1 -> int1: 「「「このニュー・ウェイブは再利用出来るかあるいは細まる」ということは成り立つ」ということは誤っている」ということは誤っているということはない; int1 & fact13 -> int2: その普通教育は忍耐力でない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「あの健康改善プログラムはまどろっこしくらない」ということは確かだ
事実2: このジープは再利用出来ない
事実3: もしもあの健康改善プログラムはまどろっこしくらないとしたら「このニュー・ウェイブは再利用出来るかあるいはそれは細まるかもしくは両方だ」ということは成り立たない
事実4: 「このニュー・ウェイブは再利用出来るかまたはそれはまどろっこしいかまたは両方だ」ということは成り立つということはないならばあの健康改善プログラムは細まるない
事実5: もし仮に「その普通教育は再利用出来るかまたはそれは細まる」ということは成り立たないとすればこのニュー・ウェイブは忍耐力でない
事実6: このニュー・ウェイブは忍耐力でない
事実7: もしも「このニュー・ウェイブは細まるかあるいはまどろっこしいかあるいは両方だ」ということは成り立たないならばその普通教育は忍耐力であるということはない
事実8: 「このニュー・ウェイブは再利用出来るかまたはブロー成型であるかもしくはどちらもだ」ということは成り立たない
事実9: あの健康改善プログラムは再利用出来ない
事実10: もし仮にその普通教育が忍耐力でないとしたらこのジープはブロー成型でない
事実11: このニュー・ウェイブが忍耐力であるということはないとしたらその普通教育は再利用出来ない
事実12: 仮にこのニュー・ウェイブはまどろっこしくらないなら「その普通教育は忍耐力であるかあるいはそれは細まるかもしくはどちらもである」ということは事実と異なる
事実13: 「このニュー・ウェイブは再利用出来るか細まるかあるいは両方ともである」ということは成り立たないならその普通教育は忍耐力でない
事実14: あのモデルは再利用出来ない

仮説: このジープはブロー成型でない
1. 事実3と事実1から、推論1: "「「「このニュー・ウェイブは再利用出来るかあるいは細まる」ということは成り立つ」ということは誤っている」ということは誤っているということはない"が導かれる
2. 推論1と事実13から、推論2: "その普通教育は忍耐力でない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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