「「もし知覚出来るしおまけに縫合糸でないなら言い訳がましくらない」ものはある」ということは本当だ
fact1: 野暮ったくないウインドーズＮＴは上皮化しない fact2: 仮にあの大先生が知覚出来るしかつ縫合糸だとするとそれは言い訳がましいということはない fact3: 仮になにがしかの物は掌握出来るが後ろめたくないとすると老朽化しない fact4: 「「焼き始めるし回折光であるとすれば取り消し得ない」ものはある」ということは本当である fact5: その松本広域消防局は当たり難いしかつ精力信仰だとすればそれは言い訳がましいということはない fact6: 「「仮に税理士法である一方で横這いでないとすれば交通事情でない」ものはある」ということは偽であるということはない fact7: もしあの大先生は言い訳がましいしオレンジＥであるなら禍々しかない fact8: もしなんらかのものが知覚出来るがそれは縫合糸でないとするとそれは言い訳がましいということはない fact9: もし仮にあの大先生が解放出来る一方でそれが知覚出来ないとしたら建物分でない fact10: もし仮になにがしかのものが知覚出来るしまた縫合糸ならばそれは言い訳がましかない fact11: 「火災時である一方でウインドーズＮＴでないとすれば聞き取り難くない」ものはある fact12: 「「もし買い受けるし壊れ易いとしたら虚偽表示でない」物はある」ということは成り立つ fact13: 仮にあの大先生は表示すけれど大葉性肺炎でないとしたらそれは回り回らない
fact8 -> int1: もしあの大先生は知覚出来る一方で縫合糸であるということはないとしたらそれは言い訳がましかない; int1 -> hypothesis;
「もし仮にウインドーズＮＴだけれど野暮ったくないならば上皮化しない」ものはある
fact14 -> int2: 仮にあのＮＡＮＯがウインドーズＮＴであるがしかし野暮ったくないとするとそれは上皮化しない; int2 -> hypothesis;
$facts$ = fact1: 野暮ったくないウインドーズＮＴは上皮化しない fact2: 仮にあの大先生が知覚出来るしかつ縫合糸だとするとそれは言い訳がましいということはない fact3: 仮になにがしかの物は掌握出来るが後ろめたくないとすると老朽化しない fact4: 「「焼き始めるし回折光であるとすれば取り消し得ない」ものはある」ということは本当である fact5: その松本広域消防局は当たり難いしかつ精力信仰だとすればそれは言い訳がましいということはない fact6: 「「仮に税理士法である一方で横這いでないとすれば交通事情でない」ものはある」ということは偽であるということはない fact7: もしあの大先生は言い訳がましいしオレンジＥであるなら禍々しかない fact8: もしなんらかのものが知覚出来るがそれは縫合糸でないとするとそれは言い訳がましいということはない fact9: もし仮にあの大先生が解放出来る一方でそれが知覚出来ないとしたら建物分でない fact10: もし仮になにがしかのものが知覚出来るしまた縫合糸ならばそれは言い訳がましかない fact11: 「火災時である一方でウインドーズＮＴでないとすれば聞き取り難くない」ものはある fact12: 「「もし買い受けるし壊れ易いとしたら虚偽表示でない」物はある」ということは成り立つ fact13: 仮にあの大先生は表示すけれど大葉性肺炎でないとしたらそれは回り回らない ; $hypothesis$ = 「「もし知覚出来るしおまけに縫合糸でないなら言い訳がましくらない」ものはある」ということは本当だ ; $proof$ = 
fact8 -> int1: もしあの大先生は知覚出来る一方で縫合糸であるということはないとしたらそれは言い訳がましかない; int1 -> hypothesis; __PROVED__
事実1: 野暮ったくないウインドーズＮＴは上皮化しない
事実2: 仮にあの大先生が知覚出来るしかつ縫合糸だとするとそれは言い訳がましいということはない
事実3: 仮になにがしかの物は掌握出来るが後ろめたくないとすると老朽化しない
事実4: 「「焼き始めるし回折光であるとすれば取り消し得ない」ものはある」ということは本当である
事実5: その松本広域消防局は当たり難いしかつ精力信仰だとすればそれは言い訳がましいということはない
事実6: 「「仮に税理士法である一方で横這いでないとすれば交通事情でない」ものはある」ということは偽であるということはない
事実7: もしあの大先生は言い訳がましいしオレンジＥであるなら禍々しかない
事実8: もしなんらかのものが知覚出来るがそれは縫合糸でないとするとそれは言い訳がましいということはない
事実9: もし仮にあの大先生が解放出来る一方でそれが知覚出来ないとしたら建物分でない
事実10: もし仮になにがしかのものが知覚出来るしまた縫合糸ならばそれは言い訳がましかない
事実11: 「火災時である一方でウインドーズＮＴでないとすれば聞き取り難くない」ものはある
事実12: 「「もし買い受けるし壊れ易いとしたら虚偽表示でない」物はある」ということは成り立つ
事実13: 仮にあの大先生は表示すけれど大葉性肺炎でないとしたらそれは回り回らない

仮説: 「「もし知覚出来るしおまけに縫合糸でないなら言い訳がましくらない」ものはある」ということは本当だ
1. 事実8から、推論1: "もしあの大先生は知覚出来る一方で縫合糸であるということはないとしたらそれは言い訳がましかない"が導かれる
2. 推論1から、仮説が導かれる

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