「もし仮に照合作業でないならば突き倒す」物はある
fact1: もしあの春蒔きが御詳しくないとしたら物悲しい fact2: 「もし人夫達でないとすると税・社会保障負担である」ものはある fact3: いじましくないものは十ＢＡＳＥ‐Ｔである fact4: とある物は適用時期であるということはないならば殿上人である fact5: もしあの春蒔きが縁遠くないならば四等分である fact6: 「何らかのものは照合作業でない」ということは成り立つとしたら突き倒す fact7: 「疑わしくないならば交通関係な」物はある fact8: 「照合作業だとしたら突き倒す」物はある fact9: 「仮に使用し易くないならば疑わし」ものはある fact10: 「もし断り難くないとするとコートする」物はある fact11: 照合作業は突き倒す fact12: 引き出し易くない物は興奮し易い fact13: もしとある物が仕上がるということはないとすればそれは形容動詞だ fact14: 「もし実験中でないなら引き出し易い」ものはある fact15: 仮にこの次世代ＩＰは照合作業でないとすれば「買う」ということは真実である fact16: もしもあの春蒔きは照合作業であるならば突き倒す fact17: 根強くないものは向け過ぎる
fact6 -> int1: もしあの春蒔きは照合作業でないとしたら突き倒す; int1 -> hypothesis;
fact6 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしあの春蒔きが御詳しくないとしたら物悲しい fact2: 「もし人夫達でないとすると税・社会保障負担である」ものはある fact3: いじましくないものは十ＢＡＳＥ‐Ｔである fact4: とある物は適用時期であるということはないならば殿上人である fact5: もしあの春蒔きが縁遠くないならば四等分である fact6: 「何らかのものは照合作業でない」ということは成り立つとしたら突き倒す fact7: 「疑わしくないならば交通関係な」物はある fact8: 「照合作業だとしたら突き倒す」物はある fact9: 「仮に使用し易くないならば疑わし」ものはある fact10: 「もし断り難くないとするとコートする」物はある fact11: 照合作業は突き倒す fact12: 引き出し易くない物は興奮し易い fact13: もしとある物が仕上がるということはないとすればそれは形容動詞だ fact14: 「もし実験中でないなら引き出し易い」ものはある fact15: 仮にこの次世代ＩＰは照合作業でないとすれば「買う」ということは真実である fact16: もしもあの春蒔きは照合作業であるならば突き倒す fact17: 根強くないものは向け過ぎる ; $hypothesis$ = 「もし仮に照合作業でないならば突き倒す」物はある ; $proof$ = 
fact6 -> int1: もしあの春蒔きは照合作業でないとしたら突き倒す; int1 -> hypothesis; __PROVED__
事実1: もしあの春蒔きが御詳しくないとしたら物悲しい
事実2: 「もし人夫達でないとすると税・社会保障負担である」ものはある
事実3: いじましくないものは十ＢＡＳＥ‐Ｔである
事実4: とある物は適用時期であるということはないならば殿上人である
事実5: もしあの春蒔きが縁遠くないならば四等分である
事実6: 「何らかのものは照合作業でない」ということは成り立つとしたら突き倒す
事実7: 「疑わしくないならば交通関係な」物はある
事実8: 「照合作業だとしたら突き倒す」物はある
事実9: 「仮に使用し易くないならば疑わし」ものはある
事実10: 「もし断り難くないとするとコートする」物はある
事実11: 照合作業は突き倒す
事実12: 引き出し易くない物は興奮し易い
事実13: もしとある物が仕上がるということはないとすればそれは形容動詞だ
事実14: 「もし実験中でないなら引き出し易い」ものはある
事実15: 仮にこの次世代ＩＰは照合作業でないとすれば「買う」ということは真実である
事実16: もしもあの春蒔きは照合作業であるならば突き倒す
事実17: 根強くないものは向け過ぎる

仮説: 「もし仮に照合作業でないならば突き倒す」物はある
1. 事実6から、推論1: "もしあの春蒔きは照合作業でないとしたら突き倒す"が導かれる
2. 推論1から、仮説が導かれる

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