あの牙は勇ましくらないけどそれは持ち難い
fact1: もしこの長拍化が有漏でない一方で安いとすればその艦隊は勇ましいということはない fact2: 勇ましくらないものは安くてかつ奥深い fact3: もしもこの長拍化が有漏でないし加えて安くないならばその艦隊は勇ましかない fact4: 奥深い物は勇ましくらないがしかし持ち難い fact5: 「この長拍化は抗するということはないし持ち難くない」ということは真実であるとしたら勇ましかない fact6: この長拍化は有漏でなくて安くない fact7: もしもその艦隊は勇ましくらないとすると「あの牙は勇ましくらない一方で持ち難い」ということは誤りだ
fact3 & fact6 -> int1: その艦隊は勇ましいということはない; int1 & fact7 -> hypothesis;
あの牙は勇ましくらないものであり更に持ち難い
fact8 -> int2: もしもあの牙が奥深いとしたら勇ましくらない一方で持ち難い;
$facts$ = fact1: もしこの長拍化が有漏でない一方で安いとすればその艦隊は勇ましいということはない fact2: 勇ましくらないものは安くてかつ奥深い fact3: もしもこの長拍化が有漏でないし加えて安くないならばその艦隊は勇ましかない fact4: 奥深い物は勇ましくらないがしかし持ち難い fact5: 「この長拍化は抗するということはないし持ち難くない」ということは真実であるとしたら勇ましかない fact6: この長拍化は有漏でなくて安くない fact7: もしもその艦隊は勇ましくらないとすると「あの牙は勇ましくらない一方で持ち難い」ということは誤りだ ; $hypothesis$ = あの牙は勇ましくらないけどそれは持ち難い ; $proof$ = 
fact3 & fact6 -> int1: その艦隊は勇ましいということはない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしこの長拍化が有漏でない一方で安いとすればその艦隊は勇ましいということはない
事実2: 勇ましくらないものは安くてかつ奥深い
事実3: もしもこの長拍化が有漏でないし加えて安くないならばその艦隊は勇ましかない
事実4: 奥深い物は勇ましくらないがしかし持ち難い
事実5: 「この長拍化は抗するということはないし持ち難くない」ということは真実であるとしたら勇ましかない
事実6: この長拍化は有漏でなくて安くない
事実7: もしもその艦隊は勇ましくらないとすると「あの牙は勇ましくらない一方で持ち難い」ということは誤りだ

仮説: あの牙は勇ましくらないけどそれは持ち難い
1. 事実3と事実6から、推論1: "その艦隊は勇ましいということはない"が導かれる
2. 推論1と事実7から、仮説が否定される

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