「もし共重合体でないならば圧縮フォーマットだということはない」物はある
fact1: もしもその枯れ尾花は共重合体でないなら圧縮フォーマットだ fact2: 「もしも「想像し難くない」ということは本当ならば「賢くない」ということは正しい」ものはある fact3: もし仮にその枯れ尾花は共重合体でないとするとそれは圧縮フォーマットであるということはない fact4: 「「もしバルメン宣言でないとすると「自己主張しない」ということは成り立つ」ものはある」ということは成り立つ fact5: もしも「その枯れ尾花は共重合体である」ということは事実なら圧縮フォーマットでない fact6: 「もし仮に楽観出来ないとすれば差し出さない」ものはある fact7: 「誤写でないとしたら地域的範囲である」ものはある fact8: 「もし参戦しないとすればナイトマーケットな」ものはある fact9: 「もし仮に面白くないとすればこそこそしない」ものはある fact10: 「もし共重合体でないとすると圧縮フォーマットである」物はある fact11: 「もし仮につべたくないなら医療法でない」物はある fact12: もしも「その五十席は比較し難くない」ということは正しいとすると圧縮フォーマットである fact13: もし仮にその収益事業以外が清しないなら圧縮フォーマットであるということはない fact14: もし仮になんらかの物が飯でないとすればそれは上積みしない fact15: 「共重合体ならば圧縮フォーマットでない」ものはある fact16: その枯れ尾花は共重合体でないなら清しということはない fact17: もし仮にその枯れ尾花は親子間でないとしたら圧縮フォーマットだ fact18: その枯れ尾花は政治的選択でないならば「圧縮フォーマットでない」ということは事実である fact19: なにがしかの物は睨み合わないならば「固しない」ということは成り立つ fact20: 「もしも貝殻であるとしたら一センチメートル幅でない」ものはある fact21: もしあるものは評価基準でないとするとそれは観想しない
fact3 -> hypothesis;
「評価基準でないとしたら「観想しない」ということは真実な」ものはある
fact22 -> int1: 仮にそのＩＤカードは評価基準でないとするとそれは観想しない; int1 -> hypothesis;
$facts$ = fact1: もしもその枯れ尾花は共重合体でないなら圧縮フォーマットだ fact2: 「もしも「想像し難くない」ということは本当ならば「賢くない」ということは正しい」ものはある fact3: もし仮にその枯れ尾花は共重合体でないとするとそれは圧縮フォーマットであるということはない fact4: 「「もしバルメン宣言でないとすると「自己主張しない」ということは成り立つ」ものはある」ということは成り立つ fact5: もしも「その枯れ尾花は共重合体である」ということは事実なら圧縮フォーマットでない fact6: 「もし仮に楽観出来ないとすれば差し出さない」ものはある fact7: 「誤写でないとしたら地域的範囲である」ものはある fact8: 「もし参戦しないとすればナイトマーケットな」ものはある fact9: 「もし仮に面白くないとすればこそこそしない」ものはある fact10: 「もし共重合体でないとすると圧縮フォーマットである」物はある fact11: 「もし仮につべたくないなら医療法でない」物はある fact12: もしも「その五十席は比較し難くない」ということは正しいとすると圧縮フォーマットである fact13: もし仮にその収益事業以外が清しないなら圧縮フォーマットであるということはない fact14: もし仮になんらかの物が飯でないとすればそれは上積みしない fact15: 「共重合体ならば圧縮フォーマットでない」ものはある fact16: その枯れ尾花は共重合体でないなら清しということはない fact17: もし仮にその枯れ尾花は親子間でないとしたら圧縮フォーマットだ fact18: その枯れ尾花は政治的選択でないならば「圧縮フォーマットでない」ということは事実である fact19: なにがしかの物は睨み合わないならば「固しない」ということは成り立つ fact20: 「もしも貝殻であるとしたら一センチメートル幅でない」ものはある fact21: もしあるものは評価基準でないとするとそれは観想しない ; $hypothesis$ = 「もし共重合体でないならば圧縮フォーマットだということはない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもその枯れ尾花は共重合体でないなら圧縮フォーマットだ
事実2: 「もしも「想像し難くない」ということは本当ならば「賢くない」ということは正しい」ものはある
事実3: もし仮にその枯れ尾花は共重合体でないとするとそれは圧縮フォーマットであるということはない
事実4: 「「もしバルメン宣言でないとすると「自己主張しない」ということは成り立つ」ものはある」ということは成り立つ
事実5: もしも「その枯れ尾花は共重合体である」ということは事実なら圧縮フォーマットでない
事実6: 「もし仮に楽観出来ないとすれば差し出さない」ものはある
事実7: 「誤写でないとしたら地域的範囲である」ものはある
事実8: 「もし参戦しないとすればナイトマーケットな」ものはある
事実9: 「もし仮に面白くないとすればこそこそしない」ものはある
事実10: 「もし共重合体でないとすると圧縮フォーマットである」物はある
事実11: 「もし仮につべたくないなら医療法でない」物はある
事実12: もしも「その五十席は比較し難くない」ということは正しいとすると圧縮フォーマットである
事実13: もし仮にその収益事業以外が清しないなら圧縮フォーマットであるということはない
事実14: もし仮になんらかの物が飯でないとすればそれは上積みしない
事実15: 「共重合体ならば圧縮フォーマットでない」ものはある
事実16: その枯れ尾花は共重合体でないなら清しということはない
事実17: もし仮にその枯れ尾花は親子間でないとしたら圧縮フォーマットだ
事実18: その枯れ尾花は政治的選択でないならば「圧縮フォーマットでない」ということは事実である
事実19: なにがしかの物は睨み合わないならば「固しない」ということは成り立つ
事実20: 「もしも貝殻であるとしたら一センチメートル幅でない」ものはある
事実21: もしあるものは評価基準でないとするとそれは観想しない

仮説: 「もし共重合体でないならば圧縮フォーマットだということはない」物はある
1. 事実3から、仮説が導かれる

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