「あの貸し出し審査は益しない一方で食べ易い」ということは嘘である
fact1: もし仮になんらかの物が船着き場でないならばそれは益しなくてその上食べ易い fact2: 「あの貸し出し審査は益しないが食べ易い」ということは間違っている fact3: 「あの貸し出し審査は食べ易くないけどらりる」ということは成り立つということはない fact4: 「「あの雄蕊はＳＴＲＡＴでないけど益する」ということは確かだ」ということは嘘である fact5: 「「あの貸し出し審査は洗い終わらない一方で温い」ということは誤りだということはない」ということは成り立たない fact6: 「あの貸し出し審査は見え易くないけれど益する」ということは成り立たない fact7: 「あの貸し出し審査は益するしそれは食べ易い」ということは真実でない fact8: 「あの貸し出し審査は益しない一方でそれは占領目的である」ということは確かであるということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
あの貸し出し審査は益しないけど食べ易い
fact9 -> int1: もし仮にあの貸し出し審査は船着き場でないとするとそれは益しないけど食べ易い;
$facts$ = fact1: もし仮になんらかの物が船着き場でないならばそれは益しなくてその上食べ易い fact2: 「あの貸し出し審査は益しないが食べ易い」ということは間違っている fact3: 「あの貸し出し審査は食べ易くないけどらりる」ということは成り立つということはない fact4: 「「あの雄蕊はＳＴＲＡＴでないけど益する」ということは確かだ」ということは嘘である fact5: 「「あの貸し出し審査は洗い終わらない一方で温い」ということは誤りだということはない」ということは成り立たない fact6: 「あの貸し出し審査は見え易くないけれど益する」ということは成り立たない fact7: 「あの貸し出し審査は益するしそれは食べ易い」ということは真実でない fact8: 「あの貸し出し審査は益しない一方でそれは占領目的である」ということは確かであるということはない ; $hypothesis$ = 「あの貸し出し審査は益しない一方で食べ易い」ということは嘘である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が船着き場でないならばそれは益しなくてその上食べ易い
事実2: 「あの貸し出し審査は益しないが食べ易い」ということは間違っている
事実3: 「あの貸し出し審査は食べ易くないけどらりる」ということは成り立つということはない
事実4: 「「あの雄蕊はＳＴＲＡＴでないけど益する」ということは確かだ」ということは嘘である
事実5: 「「あの貸し出し審査は洗い終わらない一方で温い」ということは誤りだということはない」ということは成り立たない
事実6: 「あの貸し出し審査は見え易くないけれど益する」ということは成り立たない
事実7: 「あの貸し出し審査は益するしそれは食べ易い」ということは真実でない
事実8: 「あの貸し出し審査は益しない一方でそれは占領目的である」ということは確かであるということはない

仮説: 「あの貸し出し審査は益しない一方で食べ易い」ということは嘘である
1. 事実2から、仮説が導かれる

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