あのエンジン始動はでかくない
fact1: あの通信ケーブルは餓鬼っぽい fact2: あの通信ケーブルはθＥだ fact3: あの通信ケーブルがθＥであるしそれは餓鬼っぽいとすると「あのエンジン始動はでかくない」ということは確かである
fact2 & fact1 -> int1: あの通信ケーブルはθＥであるし加えてそれは餓鬼っぽい; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
$facts$ = fact1: あの通信ケーブルは餓鬼っぽい fact2: あの通信ケーブルはθＥだ fact3: あの通信ケーブルがθＥであるしそれは餓鬼っぽいとすると「あのエンジン始動はでかくない」ということは確かである ; $hypothesis$ = あのエンジン始動はでかくない ; $proof$ = 
fact2 & fact1 -> int1: あの通信ケーブルはθＥであるし加えてそれは餓鬼っぽい; int1 & fact3 -> hypothesis; __PROVED__
事実1: あの通信ケーブルは餓鬼っぽい
事実2: あの通信ケーブルはθＥだ
事実3: あの通信ケーブルがθＥであるしそれは餓鬼っぽいとすると「あのエンジン始動はでかくない」ということは確かである

仮説: あのエンジン始動はでかくない
1. 事実2と事実1から、推論1: "あの通信ケーブルはθＥであるし加えてそれは餓鬼っぽい"が導かれる
2. 推論1と事実3から、仮説が導かれる

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