「もしも「切り易くない」ということは成り立つとすれば満了前でない」物はある
fact1: 「切り易くないとすれば満了前である」物はある fact2: 「「仮に切り易いとしたら満了前でない」物はある」ということは成り立つ fact3: もしその医業が切り易くないとするとそれは満了前だ fact4: 仮になにがしかの物が馬肉でないとすればそれは統一言語である fact5: もし仮になにかは行き来するないとするとそれは温かい fact6: もしもその医業は満了前であるとすればそれは高窒素血症でない fact7: 仮にその医業は図書館員でないならば同率でない fact8: 仮になにかは馬肉でないならばそれは感慨深くない fact9: 切り易いものは満了前であるということはない fact10: 切り易くないものは巡業しない fact11: 「切り易くないものは満了前でない」ということは事実だ fact12: その耐候性が緩和しないならそれは満了前でない fact13: もし仮になにかは切り抜けないとしたら「参照す」ということは成り立つ fact14: もし仮にとある物が創出出来ないならそれは痛々しくない fact15: その医業は網膜内であるならば満了前であるということはない fact16: もしもその医業が切り易いとしたら一貫しない
fact11 -> int1: もしその医業は切り易くないとすれば「それは満了前でない」ということは成り立つ; int1 -> hypothesis;
fact11 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
この趣旨が切り易くないとするとそれは巡業しない
fact17 -> hypothesis;
$facts$ = fact1: 「切り易くないとすれば満了前である」物はある fact2: 「「仮に切り易いとしたら満了前でない」物はある」ということは成り立つ fact3: もしその医業が切り易くないとするとそれは満了前だ fact4: 仮になにがしかの物が馬肉でないとすればそれは統一言語である fact5: もし仮になにかは行き来するないとするとそれは温かい fact6: もしもその医業は満了前であるとすればそれは高窒素血症でない fact7: 仮にその医業は図書館員でないならば同率でない fact8: 仮になにかは馬肉でないならばそれは感慨深くない fact9: 切り易いものは満了前であるということはない fact10: 切り易くないものは巡業しない fact11: 「切り易くないものは満了前でない」ということは事実だ fact12: その耐候性が緩和しないならそれは満了前でない fact13: もし仮になにかは切り抜けないとしたら「参照す」ということは成り立つ fact14: もし仮にとある物が創出出来ないならそれは痛々しくない fact15: その医業は網膜内であるならば満了前であるということはない fact16: もしもその医業が切り易いとしたら一貫しない ; $hypothesis$ = 「もしも「切り易くない」ということは成り立つとすれば満了前でない」物はある ; $proof$ = 
fact11 -> int1: もしその医業は切り易くないとすれば「それは満了前でない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「切り易くないとすれば満了前である」物はある
事実2: 「「仮に切り易いとしたら満了前でない」物はある」ということは成り立つ
事実3: もしその医業が切り易くないとするとそれは満了前だ
事実4: 仮になにがしかの物が馬肉でないとすればそれは統一言語である
事実5: もし仮になにかは行き来するないとするとそれは温かい
事実6: もしもその医業は満了前であるとすればそれは高窒素血症でない
事実7: 仮にその医業は図書館員でないならば同率でない
事実8: 仮になにかは馬肉でないならばそれは感慨深くない
事実9: 切り易いものは満了前であるということはない
事実10: 切り易くないものは巡業しない
事実11: 「切り易くないものは満了前でない」ということは事実だ
事実12: その耐候性が緩和しないならそれは満了前でない
事実13: もし仮になにかは切り抜けないとしたら「参照す」ということは成り立つ
事実14: もし仮にとある物が創出出来ないならそれは痛々しくない
事実15: その医業は網膜内であるならば満了前であるということはない
事実16: もしもその医業が切り易いとしたら一貫しない

仮説: 「もしも「切り易くない」ということは成り立つとすれば満了前でない」物はある
1. 事実11から、推論1: "もしその医業は切り易くないとすれば「それは満了前でない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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