あの右手前方は住み難い
fact1: もし仮にあの右手前方は危険極まりであるならそれは住み難い fact2: その確定コマンドボタンは危険極まりである fact3: もし仮にあの右手前方が住み難いならばそれは危険極まりだ fact4: もしもあの右手前方は永住するとすると「それは住み難い」ということは本当である fact5: この発泡スチロールは永住する fact6: もしこの発泡スチロールが住み難いなら永住する fact7: 「あの右手前方は転生する」ということは成り立つ fact8: あの右手前方が危険極まりだとすればこの発泡スチロールは永住する fact9: もしもこの発泡スチロールが危険極まりであるならあの右手前方は住み難い fact10: もしもこの発泡スチロールが永住するとするとそれは危険極まりである fact11: もしこの発泡スチロールが住み難くないけど危険極まりであるとしたらその投資率は永住する fact12: 仮にこの発泡スチロールが住み難いとするとあの右手前方は危険極まりだ fact13: あの気管支内腔は住み難い fact14: 仮にあの右手前方が活用し易いとしたらそれは就職する fact15: この劇作家協会は危険極まりである fact16: もし仮にあの右手前方が永住するならこの発泡スチロールは住み難い fact17: あの右手前方は押さう fact18: もしこの発泡スチロールが住み難いとするとあの右手前方は永住する fact19: もし「この発泡スチロールは住み難い」ということは本当だとしたら危険極まりだ fact20: もしその花柳病が再スタートならば執行役である fact21: この発泡スチロールは修整する
fact10 & fact5 -> int1: この発泡スチロールは危険極まりだ; int1 & fact9 -> hypothesis;
fact10 & fact5 -> int1: {B}{a}; int1 & fact9 -> 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$ = 
fact10 & fact5 -> int1: この発泡スチロールは危険極まりだ; int1 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にあの右手前方は危険極まりであるならそれは住み難い
事実2: その確定コマンドボタンは危険極まりである
事実3: もし仮にあの右手前方が住み難いならばそれは危険極まりだ
事実4: もしもあの右手前方は永住するとすると「それは住み難い」ということは本当である
事実5: この発泡スチロールは永住する
事実6: もしこの発泡スチロールが住み難いなら永住する
事実7: 「あの右手前方は転生する」ということは成り立つ
事実8: あの右手前方が危険極まりだとすればこの発泡スチロールは永住する
事実9: もしもこの発泡スチロールが危険極まりであるならあの右手前方は住み難い
事実10: もしもこの発泡スチロールが永住するとするとそれは危険極まりである
事実11: もしこの発泡スチロールが住み難くないけど危険極まりであるとしたらその投資率は永住する
事実12: 仮にこの発泡スチロールが住み難いとするとあの右手前方は危険極まりだ
事実13: あの気管支内腔は住み難い
事実14: 仮にあの右手前方が活用し易いとしたらそれは就職する
事実15: この劇作家協会は危険極まりである
事実16: もし仮にあの右手前方が永住するならこの発泡スチロールは住み難い
事実17: あの右手前方は押さう
事実18: もしこの発泡スチロールが住み難いとするとあの右手前方は永住する
事実19: もし「この発泡スチロールは住み難い」ということは本当だとしたら危険極まりだ
事実20: もしその花柳病が再スタートならば執行役である
事実21: この発泡スチロールは修整する

仮説: あの右手前方は住み難い
1. 事実10と事実5から、推論1: "この発泡スチロールは危険極まりだ"が導かれる
2. 推論1と事実9から、仮説が導かれる

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