「仮に意地悪くないとしたら恨めしくない」物はある
fact1: 仮にその累積限度額が意地悪くないならそれは恨めしい fact2: 「もしも「狼狽するということはない」ということは正しいなら誇れるということはない」ものはある fact3: 力強くない物は重要視しない fact4: 何らかのものが物真似しないとしたらそれは談判しない fact5: もし仮にこのＧ・ＣＭが温くないとしたらそれは飲み始めない fact6: もし仮になにがしかのものは決心しないとすれば「それはきもくない」ということは事実だ fact7: もしその累積限度額は看護部長でないとするとそれは恨めしくない fact8: 「もし仮に意地悪くないとしたら恨めしい」物はある fact9: 意地悪いということはない物は恨めしい fact10: なにがしかのものがばてないならば卒業するということはない fact11: 合い難くないものは基礎施工不良であるということはない fact12: 「もし仮に意地悪いとすると恨めしくない」物はある fact13: もしもその累積限度額が意地悪いということはないとすれば本家でない fact14: 意地悪いということはないものは恨めしくない fact15: 意地悪いものは恨めしくない fact16: もしもその累積限度額が意地悪いならばそれは恨めしくない
fact14 -> int1: その累積限度額が意地悪くないとすると恨めしいということはない; int1 -> hypothesis;
fact14 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮にその累積限度額が意地悪くないならそれは恨めしい fact2: 「もしも「狼狽するということはない」ということは正しいなら誇れるということはない」ものはある fact3: 力強くない物は重要視しない fact4: 何らかのものが物真似しないとしたらそれは談判しない fact5: もし仮にこのＧ・ＣＭが温くないとしたらそれは飲み始めない fact6: もし仮になにがしかのものは決心しないとすれば「それはきもくない」ということは事実だ fact7: もしその累積限度額は看護部長でないとするとそれは恨めしくない fact8: 「もし仮に意地悪くないとしたら恨めしい」物はある fact9: 意地悪いということはない物は恨めしい fact10: なにがしかのものがばてないならば卒業するということはない fact11: 合い難くないものは基礎施工不良であるということはない fact12: 「もし仮に意地悪いとすると恨めしくない」物はある fact13: もしもその累積限度額が意地悪いということはないとすれば本家でない fact14: 意地悪いということはないものは恨めしくない fact15: 意地悪いものは恨めしくない fact16: もしもその累積限度額が意地悪いならばそれは恨めしくない ; $hypothesis$ = 「仮に意地悪くないとしたら恨めしくない」物はある ; $proof$ = 
fact14 -> int1: その累積限度額が意地悪くないとすると恨めしいということはない; int1 -> hypothesis; __PROVED__
事実1: 仮にその累積限度額が意地悪くないならそれは恨めしい
事実2: 「もしも「狼狽するということはない」ということは正しいなら誇れるということはない」ものはある
事実3: 力強くない物は重要視しない
事実4: 何らかのものが物真似しないとしたらそれは談判しない
事実5: もし仮にこのＧ・ＣＭが温くないとしたらそれは飲み始めない
事実6: もし仮になにがしかのものは決心しないとすれば「それはきもくない」ということは事実だ
事実7: もしその累積限度額は看護部長でないとするとそれは恨めしくない
事実8: 「もし仮に意地悪くないとしたら恨めしい」物はある
事実9: 意地悪いということはない物は恨めしい
事実10: なにがしかのものがばてないならば卒業するということはない
事実11: 合い難くないものは基礎施工不良であるということはない
事実12: 「もし仮に意地悪いとすると恨めしくない」物はある
事実13: もしもその累積限度額が意地悪いということはないとすれば本家でない
事実14: 意地悪いということはないものは恨めしくない
事実15: 意地悪いものは恨めしくない
事実16: もしもその累積限度額が意地悪いならばそれは恨めしくない

仮説: 「仮に意地悪くないとしたら恨めしくない」物はある
1. 事実14から、推論1: "その累積限度額が意地悪くないとすると恨めしいということはない"が導かれる
2. 推論1から、仮説が導かれる

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