「この虚血は留守番電話サービスだ」ということは確かだ
fact1: 「その調査村は許諾する」ということは事実である fact2: その零下は黄色い fact3: もしも世界ランクは泊り歩かないとすれば留守番電話サービスでない fact4: もしも何らかのものは許諾しないが泊り歩くとすればそれは黄色くない fact5: その零下は黄色いし許諾する fact6: もしなんらかの物は留守番電話サービスだということはなくておまけに許諾するということはないとしたら「黄色い」ということは嘘だということはない fact7: もしその零下が許諾するとすればこの虚血は留守番電話サービスだ fact8: その零下は政治化する
fact5 -> int1: その零下は許諾する; int1 & fact7 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact7 -> hypothesis;
この虚血は留守番電話サービスでない
fact9 -> int2: 仮にその零下は許諾するということはないけれど泊り歩くなら黄色くない;
$facts$ = fact1: 「その調査村は許諾する」ということは事実である fact2: その零下は黄色い fact3: もしも世界ランクは泊り歩かないとすれば留守番電話サービスでない fact4: もしも何らかのものは許諾しないが泊り歩くとすればそれは黄色くない fact5: その零下は黄色いし許諾する fact6: もしなんらかの物は留守番電話サービスだということはなくておまけに許諾するということはないとしたら「黄色い」ということは嘘だということはない fact7: もしその零下が許諾するとすればこの虚血は留守番電話サービスだ fact8: その零下は政治化する ; $hypothesis$ = 「この虚血は留守番電話サービスだ」ということは確かだ ; $proof$ = 
fact5 -> int1: その零下は許諾する; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「その調査村は許諾する」ということは事実である
事実2: その零下は黄色い
事実3: もしも世界ランクは泊り歩かないとすれば留守番電話サービスでない
事実4: もしも何らかのものは許諾しないが泊り歩くとすればそれは黄色くない
事実5: その零下は黄色いし許諾する
事実6: もしなんらかの物は留守番電話サービスだということはなくておまけに許諾するということはないとしたら「黄色い」ということは嘘だということはない
事実7: もしその零下が許諾するとすればこの虚血は留守番電話サービスだ
事実8: その零下は政治化する

仮説: 「この虚血は留守番電話サービスだ」ということは確かだ
1. 事実5から、推論1: "その零下は許諾する"が導かれる
2. 推論1と事実7から、仮説が導かれる

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