この赤葡萄酒は悪い
fact1: もしもその貿易船が自己規制するとするとあのミルククリームは会わす fact2: もしも「見通さない」物があるならばあの貿易船は自己規制するし需品科である fact3: もしあのミルククリームは会わすとすると「この赤葡萄酒は悪い」ということは本当だ fact4: 「見通さない」物はある fact5: もしもなにがしかの物が見通さないならばその貿易船は需品科である
fact4 & fact2 -> int1: その貿易船は自己規制するし需品科である; int1 -> int2: その貿易船は自己規制する; int2 & fact1 -> int3: あのミルククリームは会わす; int3 & fact3 -> hypothesis;
$facts$ = fact1: もしもその貿易船が自己規制するとするとあのミルククリームは会わす fact2: もしも「見通さない」物があるならばあの貿易船は自己規制するし需品科である fact3: もしあのミルククリームは会わすとすると「この赤葡萄酒は悪い」ということは本当だ fact4: 「見通さない」物はある fact5: もしもなにがしかの物が見通さないならばその貿易船は需品科である ; $hypothesis$ = この赤葡萄酒は悪い ; $proof$ = 
fact4 & fact2 -> int1: その貿易船は自己規制するし需品科である; int1 -> int2: その貿易船は自己規制する; int2 & fact1 -> int3: あのミルククリームは会わす; int3 & fact3 -> hypothesis; __PROVED__
事実1: もしもその貿易船が自己規制するとするとあのミルククリームは会わす
事実2: もしも「見通さない」物があるならばあの貿易船は自己規制するし需品科である
事実3: もしあのミルククリームは会わすとすると「この赤葡萄酒は悪い」ということは本当だ
事実4: 「見通さない」物はある
事実5: もしもなにがしかの物が見通さないならばその貿易船は需品科である

仮説: この赤葡萄酒は悪い
1. 事実4と事実2から、推論1: "その貿易船は自己規制するし需品科である"が導かれる
2. 推論1から、推論2: "その貿易船は自己規制する"が導かれる
3. 推論2と事実1から、推論3: "あのミルククリームは会わす"が導かれる
4. 推論3と事実3から、仮説が導かれる

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