「もしも青黒いかまたは集計しないなら近寄る」ものはある
fact1: 「もし仮に「急減する」ということは成り立つとしたら思想像な」ものはある fact2: もしもとある物が青黒いかもしくは集計するということはないとすれば「それは近寄る」ということは成り立つ fact3: 「仮に青黒いかまたは集計するかあるいは両方だとしたら近寄る」ものはある fact4: 仮になにがしかのものが私らしいとするとそれは泡立てる fact5: 仮にあるものが変遷するかもしくはプリント類でないならそれはワールドである fact6: もし仮になんらかの物が増築するかあるいはどす黒くないかまたは両方ともであるとすると無し fact7: もしも何かは若作りだとすると瑞々しい fact8: なんらかの物がイタリアンレストランだとすればそれは仮す fact9: 「もしも自然法であるか躍り上がらないかもしくはどちらもであるとすると「色っぽい」ということは本当である」ものはある fact10: 仮にこの環境等が抜き出すかあるいは青黒くないか両方だとすればプリント類である fact11: 「もし仮に頼もしいか否定し難くないかまたはどちらもであるならば飛び起きる」ものはある fact12: もしなんらかのものが借金であるかあるいはそれが疑えないなら鼓舞する fact13: もし仮にこの放射線腸炎がぎこちないかまたはそれは寂しいか両方ともであるとすると近寄る
fact2 -> int1: もし仮にこの環境等は青黒いか集計しないなら近寄る; int1 -> hypothesis;
「もし仮に借金であるかもしくは疑えるということはないとしたら鼓舞する」ものはある
fact14 -> int2: 仮にその左脳が借金であるかもしくはそれは疑えるということはないかまたは両方だとすればそれは鼓舞する; int2 -> hypothesis;
$facts$ = fact1: 「もし仮に「急減する」ということは成り立つとしたら思想像な」ものはある fact2: もしもとある物が青黒いかもしくは集計するということはないとすれば「それは近寄る」ということは成り立つ fact3: 「仮に青黒いかまたは集計するかあるいは両方だとしたら近寄る」ものはある fact4: 仮になにがしかのものが私らしいとするとそれは泡立てる fact5: 仮にあるものが変遷するかもしくはプリント類でないならそれはワールドである fact6: もし仮になんらかの物が増築するかあるいはどす黒くないかまたは両方ともであるとすると無し fact7: もしも何かは若作りだとすると瑞々しい fact8: なんらかの物がイタリアンレストランだとすればそれは仮す fact9: 「もしも自然法であるか躍り上がらないかもしくはどちらもであるとすると「色っぽい」ということは本当である」ものはある fact10: 仮にこの環境等が抜き出すかあるいは青黒くないか両方だとすればプリント類である fact11: 「もし仮に頼もしいか否定し難くないかまたはどちらもであるならば飛び起きる」ものはある fact12: もしなんらかのものが借金であるかあるいはそれが疑えないなら鼓舞する fact13: もし仮にこの放射線腸炎がぎこちないかまたはそれは寂しいか両方ともであるとすると近寄る ; $hypothesis$ = 「もしも青黒いかまたは集計しないなら近寄る」ものはある ; $proof$ = 
fact2 -> int1: もし仮にこの環境等は青黒いか集計しないなら近寄る; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に「急減する」ということは成り立つとしたら思想像な」ものはある
事実2: もしもとある物が青黒いかもしくは集計するということはないとすれば「それは近寄る」ということは成り立つ
事実3: 「仮に青黒いかまたは集計するかあるいは両方だとしたら近寄る」ものはある
事実4: 仮になにがしかのものが私らしいとするとそれは泡立てる
事実5: 仮にあるものが変遷するかもしくはプリント類でないならそれはワールドである
事実6: もし仮になんらかの物が増築するかあるいはどす黒くないかまたは両方ともであるとすると無し
事実7: もしも何かは若作りだとすると瑞々しい
事実8: なんらかの物がイタリアンレストランだとすればそれは仮す
事実9: 「もしも自然法であるか躍り上がらないかもしくはどちらもであるとすると「色っぽい」ということは本当である」ものはある
事実10: 仮にこの環境等が抜き出すかあるいは青黒くないか両方だとすればプリント類である
事実11: 「もし仮に頼もしいか否定し難くないかまたはどちらもであるならば飛び起きる」ものはある
事実12: もしなんらかのものが借金であるかあるいはそれが疑えないなら鼓舞する
事実13: もし仮にこの放射線腸炎がぎこちないかまたはそれは寂しいか両方ともであるとすると近寄る

仮説: 「もしも青黒いかまたは集計しないなら近寄る」ものはある
1. 事実2から、推論1: "もし仮にこの環境等は青黒いか集計しないなら近寄る"が導かれる
2. 推論1から、仮説が導かれる

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