「あのアイロン掛けは駐車する」ということは本当である
fact1: その友誼医院はハイザックである fact2: もしもその浸透能が体面でないかもしくは駐車するとするとあのアイロン掛けは潔い fact3: その浸透能は重くないかまたは潔いかまたは両方であるならば「その友誼医院は費用化する」ということは確かである fact4: 仮にその友誼医院が潔いとするとその浸透能は費用化する fact5: その友誼医院が潔くないならそれは費用化するということはないかまたは体面であるかもしくは両方ともである fact6: その友誼医院は集まり易くない fact7: その浸透能は体面でない fact8: とある物が駐車するということはないとすれば潔くないかもしくは体面だ fact9: もしもその友誼医院が費用化するとしたらあのアイロン掛けは駐車する fact10: もし仮にその浸透能は重くないとすれば「その友誼医院は費用化する」ということは確かである fact11: その浸透能は重いということはないかそれは費用化するかもしくは両方だ fact12: その友誼医院は重い fact13: その友誼医院は駐車するということはない fact14: あのアイロン掛けは重くない fact15: 仮にその浸透能が体面だということはないとすると重いかそれは潔いかあるいは両方である fact16: あるものが体面だということはないとしたらそれは重くないかあるいは潔いかまたはどちらもだ fact17: もしも体面が費用化しないならば駐車しない
fact16 -> int1: 仮にその浸透能が体面でないならそれは重くないかもしくは潔いかあるいは両方ともである; int1 & fact7 -> int2: その浸透能は重くないかあるいは潔いか両方ともだ; int2 & fact3 -> int3: 「「その友誼医院は費用化しない」ということは偽でない」ということは間違いだ; int3 & fact9 -> hypothesis;
あのアイロン掛けは駐車するということはない
fact18 -> int4: もしあのアイロン掛けが体面であるがそれが費用化しないとするとそれは駐車しない;
$facts$ = fact1: その友誼医院はハイザックである fact2: もしもその浸透能が体面でないかもしくは駐車するとするとあのアイロン掛けは潔い fact3: その浸透能は重くないかまたは潔いかまたは両方であるならば「その友誼医院は費用化する」ということは確かである fact4: 仮にその友誼医院が潔いとするとその浸透能は費用化する fact5: その友誼医院が潔くないならそれは費用化するということはないかまたは体面であるかもしくは両方ともである fact6: その友誼医院は集まり易くない fact7: その浸透能は体面でない fact8: とある物が駐車するということはないとすれば潔くないかもしくは体面だ fact9: もしもその友誼医院が費用化するとしたらあのアイロン掛けは駐車する fact10: もし仮にその浸透能は重くないとすれば「その友誼医院は費用化する」ということは確かである fact11: その浸透能は重いということはないかそれは費用化するかもしくは両方だ fact12: その友誼医院は重い fact13: その友誼医院は駐車するということはない fact14: あのアイロン掛けは重くない fact15: 仮にその浸透能が体面だということはないとすると重いかそれは潔いかあるいは両方である fact16: あるものが体面だということはないとしたらそれは重くないかあるいは潔いかまたはどちらもだ fact17: もしも体面が費用化しないならば駐車しない ; $hypothesis$ = 「あのアイロン掛けは駐車する」ということは本当である ; $proof$ = 
fact16 -> int1: 仮にその浸透能が体面でないならそれは重くないかもしくは潔いかあるいは両方ともである; int1 & fact7 -> int2: その浸透能は重くないかあるいは潔いか両方ともだ; int2 & fact3 -> int3: 「「その友誼医院は費用化しない」ということは偽でない」ということは間違いだ; int3 & fact9 -> hypothesis; __PROVED__
事実1: その友誼医院はハイザックである
事実2: もしもその浸透能が体面でないかもしくは駐車するとするとあのアイロン掛けは潔い
事実3: その浸透能は重くないかまたは潔いかまたは両方であるならば「その友誼医院は費用化する」ということは確かである
事実4: 仮にその友誼医院が潔いとするとその浸透能は費用化する
事実5: その友誼医院が潔くないならそれは費用化するということはないかまたは体面であるかもしくは両方ともである
事実6: その友誼医院は集まり易くない
事実7: その浸透能は体面でない
事実8: とある物が駐車するということはないとすれば潔くないかもしくは体面だ
事実9: もしもその友誼医院が費用化するとしたらあのアイロン掛けは駐車する
事実10: もし仮にその浸透能は重くないとすれば「その友誼医院は費用化する」ということは確かである
事実11: その浸透能は重いということはないかそれは費用化するかもしくは両方だ
事実12: その友誼医院は重い
事実13: その友誼医院は駐車するということはない
事実14: あのアイロン掛けは重くない
事実15: 仮にその浸透能が体面だということはないとすると重いかそれは潔いかあるいは両方である
事実16: あるものが体面だということはないとしたらそれは重くないかあるいは潔いかまたはどちらもだ
事実17: もしも体面が費用化しないならば駐車しない

仮説: 「あのアイロン掛けは駐車する」ということは本当である
1. 事実16から、推論1: "仮にその浸透能が体面でないならそれは重くないかもしくは潔いかあるいは両方ともである"が導かれる
2. 推論1と事実7から、推論2: "その浸透能は重くないかあるいは潔いか両方ともだ"が導かれる
3. 推論2と事実3から、推論3: "「「その友誼医院は費用化しない」ということは偽でない」ということは間違いだ"が導かれる
4. 推論3と事実9から、仮説が導かれる

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