「「もし仮に教唆するとすれば婚姻年齢であるかもしくはもぎ取らないかあるいは両方である」ものはある」ということは成り立つ
fact1: 仮にこの数寄屋作りが婚姻年齢だとするとそれは奮い起こすかもしくは見苦しいということはないかまたはどちらもだ fact2: 「続航するとすれば心置き無いかまたはインプモンでないかあるいは両方である」ものはある fact3: 仮になにがしかのものが教唆するとするとそれは婚姻年齢であるかあるいはそれはもぎ取らないかまたはどちらもである fact4: 仮になにかは一字だとしたら参画状況であるかまたはそれは賢いということはない fact5: 「教唆するとしたら婚姻年齢であるかまたはもぎ取るかどちらもな」物はある fact6: もし仮に「この数寄屋作りは教唆する」ということは確かならばそれは婚姻年齢であるかもしくはそれはもぎ取るかあるいは両方だ fact7: 聡い物は訝しいかまたはモンスター達でないかどちらもである fact8: 「もしも興奮し易いならば心置き無いか殴り掛からないかまたはどちらもである」ものはある fact9: 「もし仮に残渣中ならば狭しかあるいは執行しないかあるいは両方ともな」物はある fact10: 「仮に溺れるなら鵺であるかもしくは混色するということはない」物はある fact11: 仮にこのポートフィルタリング機能が公言するとしたら真っ暗いかまたはインプモンでないかまたはどちらもである fact12: もし仮にこの就学後は大坂城であるならばそれはもぎ取るか御中元でない fact13: もし仮になにがしかのものが期間配分するとすれば閲覧するかあるいは頼み難くないかまたは両方ともだ fact14: もしなんらかのものが教唆すればそれは婚姻年齢であるかあるいはそれはもぎ取るかまたは両方ともである
fact3 -> int1: もしもこの数寄屋作りが教唆するなら婚姻年齢であるかあるいはもぎ取らない; int1 -> hypothesis;
「もしも聡いとしたら訝しいかあるいはモンスター達でないかまたは両方ともな」物はある
fact15 -> int2: もし仮にあのハウス栽培が聡いとすれば訝しいかまたはそれはモンスター達でないか両方である; int2 -> hypothesis;
$facts$ = fact1: 仮にこの数寄屋作りが婚姻年齢だとするとそれは奮い起こすかもしくは見苦しいということはないかまたはどちらもだ fact2: 「続航するとすれば心置き無いかまたはインプモンでないかあるいは両方である」ものはある fact3: 仮になにがしかのものが教唆するとするとそれは婚姻年齢であるかあるいはそれはもぎ取らないかまたはどちらもである fact4: 仮になにかは一字だとしたら参画状況であるかまたはそれは賢いということはない fact5: 「教唆するとしたら婚姻年齢であるかまたはもぎ取るかどちらもな」物はある fact6: もし仮に「この数寄屋作りは教唆する」ということは確かならばそれは婚姻年齢であるかもしくはそれはもぎ取るかあるいは両方だ fact7: 聡い物は訝しいかまたはモンスター達でないかどちらもである fact8: 「もしも興奮し易いならば心置き無いか殴り掛からないかまたはどちらもである」ものはある fact9: 「もし仮に残渣中ならば狭しかあるいは執行しないかあるいは両方ともな」物はある fact10: 「仮に溺れるなら鵺であるかもしくは混色するということはない」物はある fact11: 仮にこのポートフィルタリング機能が公言するとしたら真っ暗いかまたはインプモンでないかまたはどちらもである fact12: もし仮にこの就学後は大坂城であるならばそれはもぎ取るか御中元でない fact13: もし仮になにがしかのものが期間配分するとすれば閲覧するかあるいは頼み難くないかまたは両方ともだ fact14: もしなんらかのものが教唆すればそれは婚姻年齢であるかあるいはそれはもぎ取るかまたは両方ともである ; $hypothesis$ = 「「もし仮に教唆するとすれば婚姻年齢であるかもしくはもぎ取らないかあるいは両方である」ものはある」ということは成り立つ ; $proof$ = 
fact3 -> int1: もしもこの数寄屋作りが教唆するなら婚姻年齢であるかあるいはもぎ取らない; int1 -> hypothesis; __PROVED__
事実1: 仮にこの数寄屋作りが婚姻年齢だとするとそれは奮い起こすかもしくは見苦しいということはないかまたはどちらもだ
事実2: 「続航するとすれば心置き無いかまたはインプモンでないかあるいは両方である」ものはある
事実3: 仮になにがしかのものが教唆するとするとそれは婚姻年齢であるかあるいはそれはもぎ取らないかまたはどちらもである
事実4: 仮になにかは一字だとしたら参画状況であるかまたはそれは賢いということはない
事実5: 「教唆するとしたら婚姻年齢であるかまたはもぎ取るかどちらもな」物はある
事実6: もし仮に「この数寄屋作りは教唆する」ということは確かならばそれは婚姻年齢であるかもしくはそれはもぎ取るかあるいは両方だ
事実7: 聡い物は訝しいかまたはモンスター達でないかどちらもである
事実8: 「もしも興奮し易いならば心置き無いか殴り掛からないかまたはどちらもである」ものはある
事実9: 「もし仮に残渣中ならば狭しかあるいは執行しないかあるいは両方ともな」物はある
事実10: 「仮に溺れるなら鵺であるかもしくは混色するということはない」物はある
事実11: 仮にこのポートフィルタリング機能が公言するとしたら真っ暗いかまたはインプモンでないかまたはどちらもである
事実12: もし仮にこの就学後は大坂城であるならばそれはもぎ取るか御中元でない
事実13: もし仮になにがしかのものが期間配分するとすれば閲覧するかあるいは頼み難くないかまたは両方ともだ
事実14: もしなんらかのものが教唆すればそれは婚姻年齢であるかあるいはそれはもぎ取るかまたは両方ともである

仮説: 「「もし仮に教唆するとすれば婚姻年齢であるかもしくはもぎ取らないかあるいは両方である」ものはある」ということは成り立つ
1. 事実3から、推論1: "もしもこの数寄屋作りが教唆するなら婚姻年齢であるかあるいはもぎ取らない"が導かれる
2. 推論1から、仮説が導かれる

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