この東棟はチェック出来るがしかしそれは小高くない
fact1: その財務局は小高いがしかし着古さない fact2: この東棟が御返すとすればその施工不良は小高い fact3: 「この陶工はチェック出来るということはないけれど御返す」ということは真実でないならば御返さない fact4: この東棟は御返さない fact5: この東棟は小高くない fact6: その施工不良は部屋番号でない fact7: ある物は強しということはないとしたら「チェック出来ないし更に御返す」ということは本当であるということはない fact8: 仮にその施工不良が御返すとすればそれは放らない fact9: あの併用時は放る fact10: この東棟は放る fact11: この陶工が小高くないならこの東棟はチェック出来るがしかしそれは小高くない fact12: この陶工は御返す fact13: この陶工が強しとしたらこの東棟は御返すということはないけれどそれは放る fact14: その施工不良は御返す fact15: 「この陶工は小高い」ということは事実と異なるということはないとしたらその施工不良は放る fact16: もしも「この陶工は小高くない」ということは事実であるならばあの東棟は小高くない
void -> assump1: 以下のように仮定する。この陶工は小高い; fact15 & assump1 -> int1: その施工不良は放る; fact14 & fact8 -> int2: その施工不良は放らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この陶工は小高くない; int4 & fact11 -> hypothesis;
「この東棟はチェック出来る一方でそれは小高くない」ということは成り立たない
$facts$ = fact1: その財務局は小高いがしかし着古さない fact2: この東棟が御返すとすればその施工不良は小高い fact3: 「この陶工はチェック出来るということはないけれど御返す」ということは真実でないならば御返さない fact4: この東棟は御返さない fact5: この東棟は小高くない fact6: その施工不良は部屋番号でない fact7: ある物は強しということはないとしたら「チェック出来ないし更に御返す」ということは本当であるということはない fact8: 仮にその施工不良が御返すとすればそれは放らない fact9: あの併用時は放る fact10: この東棟は放る fact11: この陶工が小高くないならこの東棟はチェック出来るがしかしそれは小高くない fact12: この陶工は御返す fact13: この陶工が強しとしたらこの東棟は御返すということはないけれどそれは放る fact14: その施工不良は御返す fact15: 「この陶工は小高い」ということは事実と異なるということはないとしたらその施工不良は放る fact16: もしも「この陶工は小高くない」ということは事実であるならばあの東棟は小高くない ; $hypothesis$ = この東棟はチェック出来るがしかしそれは小高くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この陶工は小高い; fact15 & assump1 -> int1: その施工不良は放る; fact14 & fact8 -> int2: その施工不良は放らない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この陶工は小高くない; int4 & fact11 -> hypothesis; __PROVED__
事実1: その財務局は小高いがしかし着古さない
事実2: この東棟が御返すとすればその施工不良は小高い
事実3: 「この陶工はチェック出来るということはないけれど御返す」ということは真実でないならば御返さない
事実4: この東棟は御返さない
事実5: この東棟は小高くない
事実6: その施工不良は部屋番号でない
事実7: ある物は強しということはないとしたら「チェック出来ないし更に御返す」ということは本当であるということはない
事実8: 仮にその施工不良が御返すとすればそれは放らない
事実9: あの併用時は放る
事実10: この東棟は放る
事実11: この陶工が小高くないならこの東棟はチェック出来るがしかしそれは小高くない
事実12: この陶工は御返す
事実13: この陶工が強しとしたらこの東棟は御返すということはないけれどそれは放る
事実14: その施工不良は御返す
事実15: 「この陶工は小高い」ということは事実と異なるということはないとしたらその施工不良は放る
事実16: もしも「この陶工は小高くない」ということは事実であるならばあの東棟は小高くない

仮説: この東棟はチェック出来るがしかしそれは小高くない
1. 仮定1: 以下のように仮定する。この陶工は小高い
2. 事実15と仮定1から、推論1: "その施工不良は放る"が導かれる
3. 事実14と事実8から、推論2: "その施工不良は放らない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この陶工は小高くない"が導かれる
6. 推論4と事実11から、仮説が導かれる

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