あの基本規格は来難くない
fact1: もしそのＳＴＩは卑しとすれば「その基地は卑しない」ということは成り立つ fact2: もし仮にその基地が疑り深いならばそれは忙しくないが平べったい fact3: そのＳＴＩは卑しかまたはそれは進み易くないかどちらもである fact4: 「あの基本規格は米軍機であるしまた死別する」ということは誤りでない fact5: あの基本規格は来難くてさらに米軍機である fact6: 「あの基本規格は米軍機である」ということは間違いでない fact7: 仮にその基地が卑しないとしたらそれは疑り深くてそれにそれは押し拉ぐ fact8: もし「とあるものは戻り易くないがしかし来難い」ということは誤りであるならばそれは来難くない
fact5 -> hypothesis;
fact5 -> hypothesis;
あの基本規格は来難くない
fact11 -> int1: もしも「あの基本規格は戻り易くないけど来難い」ということは偽であるとすると来難くない;
$facts$ = fact1: もしそのＳＴＩは卑しとすれば「その基地は卑しない」ということは成り立つ fact2: もし仮にその基地が疑り深いならばそれは忙しくないが平べったい fact3: そのＳＴＩは卑しかまたはそれは進み易くないかどちらもである fact4: 「あの基本規格は米軍機であるしまた死別する」ということは誤りでない fact5: あの基本規格は来難くてさらに米軍機である fact6: 「あの基本規格は米軍機である」ということは間違いでない fact7: 仮にその基地が卑しないとしたらそれは疑り深くてそれにそれは押し拉ぐ fact8: もし「とあるものは戻り易くないがしかし来難い」ということは誤りであるならばそれは来難くない ; $hypothesis$ = あの基本規格は来難くない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしそのＳＴＩは卑しとすれば「その基地は卑しない」ということは成り立つ
事実2: もし仮にその基地が疑り深いならばそれは忙しくないが平べったい
事実3: そのＳＴＩは卑しかまたはそれは進み易くないかどちらもである
事実4: 「あの基本規格は米軍機であるしまた死別する」ということは誤りでない
事実5: あの基本規格は来難くてさらに米軍機である
事実6: 「あの基本規格は米軍機である」ということは間違いでない
事実7: 仮にその基地が卑しないとしたらそれは疑り深くてそれにそれは押し拉ぐ
事実8: もし「とあるものは戻り易くないがしかし来難い」ということは誤りであるならばそれは来難くない

仮説: あの基本規格は来難くない
1. 事実5から、仮説が否定される

よって、仮説が否定されました。