この利用者・家族は使用し易くない
fact1: あの内部創出暖簾が旨くて加えて続航するとするとこの利用者・家族は使用し易くない fact2: この利用者・家族は危うい fact3: あの割愛は使用し易い fact4: あの内部創出暖簾は続航する fact5: 「あの内部創出暖簾は楼である」ということは成り立つ fact6: この利用者・家族は続航する fact7: あの内部創出暖簾は使用し易くない fact8: あの給料月額は使用し易い fact9: あの内部創出暖簾はださい fact10: 「あの内部創出暖簾は旨い」ということは事実と異なるということはない fact11: あのクオーターは旨い fact12: その開け方は続航する
fact10 & fact4 -> int1: あの内部創出暖簾は旨くてまた続航する; int1 & fact1 -> hypothesis;
$facts$ = fact1: あの内部創出暖簾が旨くて加えて続航するとするとこの利用者・家族は使用し易くない fact2: この利用者・家族は危うい fact3: あの割愛は使用し易い fact4: あの内部創出暖簾は続航する fact5: 「あの内部創出暖簾は楼である」ということは成り立つ fact6: この利用者・家族は続航する fact7: あの内部創出暖簾は使用し易くない fact8: あの給料月額は使用し易い fact9: あの内部創出暖簾はださい fact10: 「あの内部創出暖簾は旨い」ということは事実と異なるということはない fact11: あのクオーターは旨い fact12: その開け方は続航する ; $hypothesis$ = この利用者・家族は使用し易くない ; $proof$ = 
fact10 & fact4 -> int1: あの内部創出暖簾は旨くてまた続航する; int1 & fact1 -> hypothesis; __PROVED__
事実1: あの内部創出暖簾が旨くて加えて続航するとするとこの利用者・家族は使用し易くない
事実2: この利用者・家族は危うい
事実3: あの割愛は使用し易い
事実4: あの内部創出暖簾は続航する
事実5: 「あの内部創出暖簾は楼である」ということは成り立つ
事実6: この利用者・家族は続航する
事実7: あの内部創出暖簾は使用し易くない
事実8: あの給料月額は使用し易い
事実9: あの内部創出暖簾はださい
事実10: 「あの内部創出暖簾は旨い」ということは事実と異なるということはない
事実11: あのクオーターは旨い
事実12: その開け方は続航する

仮説: この利用者・家族は使用し易くない
1. 事実10と事実4から、推論1: "あの内部創出暖簾は旨くてまた続航する"が導かれる
2. 推論1と事実1から、仮説が導かれる

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