その雑木林は世話しない
fact1: とあるものが柔らかいなら知り合いらしい fact2: 仮に「何らかのものは柔らかくないがしかし知り合いらしい」ということは事実と異なるなら世話する fact3: 仮にこの一日発行が知り合いらしいならばあの雑木林は世話する fact4: 全ては照り輝く fact5: どれもこれもは招集出来ない fact6: もし仮に「この古典経済学理論は吸い取るかもしくは芽ぐむかあるいはどちらもである」ということは誤っているなら「その雑木林は世話するということはない」ということは成り立つ fact7: 「その雑木林は芽ぐむかまたはそれは吸い取るかあるいは両方だ」ということは誤っているとしたらこの古典経済学理論は世話しない fact8: それが吸い取るかあるいは芽ぐまないかもしくはどちらもであるという物はない fact9: 仮になにがしかのものが招集出来ないならバックスペースであるし更に一日以後老齢厚生年金である fact10: すべてのものは芽ぐむ fact11: もしも「この古典経済学理論は吸い取るかまたは芽ぐまないかまたはどちらもだ」ということは成り立たないとすればその雑木林は世話しない fact12: もし仮にあの製品価格は著しいとしたら「その氷河期は粘膜下層であるということはないけれどそれは休離する」ということは間違いだ fact13: 仮に「あの製品価格は一日以後老齢厚生年金である」ということは成り立つなら著しい
fact8 -> int1: 「この古典経済学理論は吸い取るかもしくは芽ぐまないかあるいはどちらもである」ということは事実と異なる; int1 & fact11 -> hypothesis;
fact8 -> int1: ¬({AA}{aa} v ¬{AB}{aa}); int1 & fact11 -> hypothesis;
その事業以外は吸い取らない
fact14 -> int2: その雑木林が柔らかいとすると知り合いらしい;
$facts$ = fact1: とあるものが柔らかいなら知り合いらしい fact2: 仮に「何らかのものは柔らかくないがしかし知り合いらしい」ということは事実と異なるなら世話する fact3: 仮にこの一日発行が知り合いらしいならばあの雑木林は世話する fact4: 全ては照り輝く fact5: どれもこれもは招集出来ない fact6: もし仮に「この古典経済学理論は吸い取るかもしくは芽ぐむかあるいはどちらもである」ということは誤っているなら「その雑木林は世話するということはない」ということは成り立つ fact7: 「その雑木林は芽ぐむかまたはそれは吸い取るかあるいは両方だ」ということは誤っているとしたらこの古典経済学理論は世話しない fact8: それが吸い取るかあるいは芽ぐまないかもしくはどちらもであるという物はない fact9: 仮になにがしかのものが招集出来ないならバックスペースであるし更に一日以後老齢厚生年金である fact10: すべてのものは芽ぐむ fact11: もしも「この古典経済学理論は吸い取るかまたは芽ぐまないかまたはどちらもだ」ということは成り立たないとすればその雑木林は世話しない fact12: もし仮にあの製品価格は著しいとしたら「その氷河期は粘膜下層であるということはないけれどそれは休離する」ということは間違いだ fact13: 仮に「あの製品価格は一日以後老齢厚生年金である」ということは成り立つなら著しい ; $hypothesis$ = その雑木林は世話しない ; $proof$ = 
fact8 -> int1: 「この古典経済学理論は吸い取るかもしくは芽ぐまないかあるいはどちらもである」ということは事実と異なる; int1 & fact11 -> hypothesis; __PROVED__
事実1: とあるものが柔らかいなら知り合いらしい
事実2: 仮に「何らかのものは柔らかくないがしかし知り合いらしい」ということは事実と異なるなら世話する
事実3: 仮にこの一日発行が知り合いらしいならばあの雑木林は世話する
事実4: 全ては照り輝く
事実5: どれもこれもは招集出来ない
事実6: もし仮に「この古典経済学理論は吸い取るかもしくは芽ぐむかあるいはどちらもである」ということは誤っているなら「その雑木林は世話するということはない」ということは成り立つ
事実7: 「その雑木林は芽ぐむかまたはそれは吸い取るかあるいは両方だ」ということは誤っているとしたらこの古典経済学理論は世話しない
事実8: それが吸い取るかあるいは芽ぐまないかもしくはどちらもであるという物はない
事実9: 仮になにがしかのものが招集出来ないならバックスペースであるし更に一日以後老齢厚生年金である
事実10: すべてのものは芽ぐむ
事実11: もしも「この古典経済学理論は吸い取るかまたは芽ぐまないかまたはどちらもだ」ということは成り立たないとすればその雑木林は世話しない
事実12: もし仮にあの製品価格は著しいとしたら「その氷河期は粘膜下層であるということはないけれどそれは休離する」ということは間違いだ
事実13: 仮に「あの製品価格は一日以後老齢厚生年金である」ということは成り立つなら著しい

仮説: その雑木林は世話しない
1. 事実8から、推論1: "「この古典経済学理論は吸い取るかもしくは芽ぐまないかあるいはどちらもである」ということは事実と異なる"が導かれる
2. 推論1と事実11から、仮説が導かれる

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