「もし仮に座り易いということはないなら方向舵だし苦い」物はある
fact1: 仮にこのウィーン体制が座り易いならそれは方向舵であるしおまけに苦い fact2: もし「このウィーン体制は美味しかない」ということは成り立てばそれは苦いし居室である fact3: 「仮に売り残さないとしたら白いししかも置き為さる」物はある fact4: もし仮にこのウィーン体制が座り易くないとしたら方向舵であるしそれに苦い fact5: 「仮に座り易くないなら苦い」ものはある fact6: もしとあるものが夏らしくないとすればそれは続行出来るしそれに方向舵だ fact7: 「もし座り易くないとすれば方向舵な」ものはある fact8: もし仮にこのウィーン体制が座り易くないなら苦い fact9: 「もし座り易いとすると方向舵であるししかも苦い」物はある fact10: 飛行機らしくないものは間延びするしそれに換価する
fact4 -> hypothesis;
「もし仮に飛行機らしくないならば間延びするし加えて換価する」ものはある
fact11 -> int1: もしその協同組合等が飛行機らしくないならば間延びするしそれに換価する; int1 -> hypothesis;
$facts$ = fact1: 仮にこのウィーン体制が座り易いならそれは方向舵であるしおまけに苦い fact2: もし「このウィーン体制は美味しかない」ということは成り立てばそれは苦いし居室である fact3: 「仮に売り残さないとしたら白いししかも置き為さる」物はある fact4: もし仮にこのウィーン体制が座り易くないとしたら方向舵であるしそれに苦い fact5: 「仮に座り易くないなら苦い」ものはある fact6: もしとあるものが夏らしくないとすればそれは続行出来るしそれに方向舵だ fact7: 「もし座り易くないとすれば方向舵な」ものはある fact8: もし仮にこのウィーン体制が座り易くないなら苦い fact9: 「もし座り易いとすると方向舵であるししかも苦い」物はある fact10: 飛行機らしくないものは間延びするしそれに換価する ; $hypothesis$ = 「もし仮に座り易いということはないなら方向舵だし苦い」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にこのウィーン体制が座り易いならそれは方向舵であるしおまけに苦い
事実2: もし「このウィーン体制は美味しかない」ということは成り立てばそれは苦いし居室である
事実3: 「仮に売り残さないとしたら白いししかも置き為さる」物はある
事実4: もし仮にこのウィーン体制が座り易くないとしたら方向舵であるしそれに苦い
事実5: 「仮に座り易くないなら苦い」ものはある
事実6: もしとあるものが夏らしくないとすればそれは続行出来るしそれに方向舵だ
事実7: 「もし座り易くないとすれば方向舵な」ものはある
事実8: もし仮にこのウィーン体制が座り易くないなら苦い
事実9: 「もし座り易いとすると方向舵であるししかも苦い」物はある
事実10: 飛行機らしくないものは間延びするしそれに換価する

仮説: 「もし仮に座り易いということはないなら方向舵だし苦い」物はある
1. 事実4から、仮説が導かれる

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