「もし過大評価し過ぎないとすると「読み為さらないし打ち易くない」ということは誤っている」物はある
fact1: もし仮にこの経済財政運営が書き並べないならそれは進行し始めないしその上泥棒呼ばわりしない fact2: 仮にその大量生産はモデルＡでないとしたら補正値でないしさらに読み為さらない fact3: もしあの率先は申し込みするなら「打ち易くなくて容易くない」ということは成り立たない fact4: 「もし人懐っこくないならば復帰するということはないしまた把握し難いということはない」ものはある fact5: 「仮に「同じゅうするということはない」ということは正しいとしたら「飲酒するということはないがしかし放下僧だ」ということは成り立つということはない」物はある fact6: もしも何かは大胸筋外側縁でないとすると「改選するということはないし濁りでない」ということは事実と異なる fact7: もしもその大量生産は過大評価し過ぎるということはないなら「読み為さらなくて更に打ち易くない」ということは嘘である fact8: もし「その大量生産は過大評価し過ぎる」ということは正しいとしたら「読み為さるということはなくてそれにそれは打ち易くない」ということは成り立たない fact9: 「前祝いでないならば「泥棒呼ばわりするけど飲酒しない」ということは間違っている」ものはある fact10: 「分類しないとすると「資金市場でなくてしかも水っぽくない」ということは成り立つということはない」ものはある fact11: もしもその大量生産は打ち易くないとすると「降り続けないけれど各取り引きだ」ということは誤っている fact12: その大量生産は読み為さらないとすれば「それが当て付けはましくらないがしかし単車である」ということは成り立たない fact13: もしあの和洋中は劣後株式でないならば「それは皇室担当記者だけれどデパ地下でない」ということは事実と異なる fact14: その大量生産は過大評価し過ぎないとしたらそれは読み為さるということはなくて更に打ち易いということはない
fact7 -> hypothesis;
「もし仮に大胸筋外側縁でないとすれば「改選しなくてまた濁りでない」ということは嘘である」物はある
fact15 -> int1: もしもあの為所は大胸筋外側縁でないとすれば「それは改選しなくて濁りでない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの経済財政運営が書き並べないならそれは進行し始めないしその上泥棒呼ばわりしない fact2: 仮にその大量生産はモデルＡでないとしたら補正値でないしさらに読み為さらない fact3: もしあの率先は申し込みするなら「打ち易くなくて容易くない」ということは成り立たない fact4: 「もし人懐っこくないならば復帰するということはないしまた把握し難いということはない」ものはある fact5: 「仮に「同じゅうするということはない」ということは正しいとしたら「飲酒するということはないがしかし放下僧だ」ということは成り立つということはない」物はある fact6: もしも何かは大胸筋外側縁でないとすると「改選するということはないし濁りでない」ということは事実と異なる fact7: もしもその大量生産は過大評価し過ぎるということはないなら「読み為さらなくて更に打ち易くない」ということは嘘である fact8: もし「その大量生産は過大評価し過ぎる」ということは正しいとしたら「読み為さるということはなくてそれにそれは打ち易くない」ということは成り立たない fact9: 「前祝いでないならば「泥棒呼ばわりするけど飲酒しない」ということは間違っている」ものはある fact10: 「分類しないとすると「資金市場でなくてしかも水っぽくない」ということは成り立つということはない」ものはある fact11: もしもその大量生産は打ち易くないとすると「降り続けないけれど各取り引きだ」ということは誤っている fact12: その大量生産は読み為さらないとすれば「それが当て付けはましくらないがしかし単車である」ということは成り立たない fact13: もしあの和洋中は劣後株式でないならば「それは皇室担当記者だけれどデパ地下でない」ということは事実と異なる fact14: その大量生産は過大評価し過ぎないとしたらそれは読み為さるということはなくて更に打ち易いということはない ; $hypothesis$ = 「もし過大評価し過ぎないとすると「読み為さらないし打ち易くない」ということは誤っている」物はある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの経済財政運営が書き並べないならそれは進行し始めないしその上泥棒呼ばわりしない
事実2: 仮にその大量生産はモデルＡでないとしたら補正値でないしさらに読み為さらない
事実3: もしあの率先は申し込みするなら「打ち易くなくて容易くない」ということは成り立たない
事実4: 「もし人懐っこくないならば復帰するということはないしまた把握し難いということはない」ものはある
事実5: 「仮に「同じゅうするということはない」ということは正しいとしたら「飲酒するということはないがしかし放下僧だ」ということは成り立つということはない」物はある
事実6: もしも何かは大胸筋外側縁でないとすると「改選するということはないし濁りでない」ということは事実と異なる
事実7: もしもその大量生産は過大評価し過ぎるということはないなら「読み為さらなくて更に打ち易くない」ということは嘘である
事実8: もし「その大量生産は過大評価し過ぎる」ということは正しいとしたら「読み為さるということはなくてそれにそれは打ち易くない」ということは成り立たない
事実9: 「前祝いでないならば「泥棒呼ばわりするけど飲酒しない」ということは間違っている」ものはある
事実10: 「分類しないとすると「資金市場でなくてしかも水っぽくない」ということは成り立つということはない」ものはある
事実11: もしもその大量生産は打ち易くないとすると「降り続けないけれど各取り引きだ」ということは誤っている
事実12: その大量生産は読み為さらないとすれば「それが当て付けはましくらないがしかし単車である」ということは成り立たない
事実13: もしあの和洋中は劣後株式でないならば「それは皇室担当記者だけれどデパ地下でない」ということは事実と異なる
事実14: その大量生産は過大評価し過ぎないとしたらそれは読み為さるということはなくて更に打ち易いということはない

仮説: 「もし過大評価し過ぎないとすると「読み為さらないし打ち易くない」ということは誤っている」物はある
1. 事実7から、仮説が導かれる

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