あの其れ以来は引き受けしない
fact1: もしその総利子支払いが宿主だということはないならばそのスペリングはしょっぱいけどそれは意見欄であるということはない fact2: そのスペリングがしょっぱいがしかしそれは意見欄でないとすると「あの其れ以来は引き受けしない」ということは正しい fact3: その総利子支払いは宿主だとしたら「この杯は設えるけれど白黒付けるということはない」ということは偽だ fact4: どれもこれもは設えるけど白黒付けない
void -> assump1: 以下のように仮定する。その総利子支払いは宿主だ; fact3 & assump1 -> int1: 「この杯は設える一方でそれは白黒付けない」ということは嘘である; fact4 -> int2: この杯は設えるけれど白黒付けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その総利子支払いは宿主でない; int4 & fact1 -> int5: そのスペリングはしょっぱいけれど意見欄でない; int5 & fact2 -> hypothesis;
$facts$ = fact1: もしその総利子支払いが宿主だということはないならばそのスペリングはしょっぱいけどそれは意見欄であるということはない fact2: そのスペリングがしょっぱいがしかしそれは意見欄でないとすると「あの其れ以来は引き受けしない」ということは正しい fact3: その総利子支払いは宿主だとしたら「この杯は設えるけれど白黒付けるということはない」ということは偽だ fact4: どれもこれもは設えるけど白黒付けない ; $hypothesis$ = あの其れ以来は引き受けしない ; $proof$ = 
void -> assump1: 以下のように仮定する。その総利子支払いは宿主だ; fact3 & assump1 -> int1: 「この杯は設える一方でそれは白黒付けない」ということは嘘である; fact4 -> int2: この杯は設えるけれど白黒付けない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その総利子支払いは宿主でない; int4 & fact1 -> int5: そのスペリングはしょっぱいけれど意見欄でない; int5 & fact2 -> hypothesis; __PROVED__
事実1: もしその総利子支払いが宿主だということはないならばそのスペリングはしょっぱいけどそれは意見欄であるということはない
事実2: そのスペリングがしょっぱいがしかしそれは意見欄でないとすると「あの其れ以来は引き受けしない」ということは正しい
事実3: その総利子支払いは宿主だとしたら「この杯は設えるけれど白黒付けるということはない」ということは偽だ
事実4: どれもこれもは設えるけど白黒付けない

仮説: あの其れ以来は引き受けしない
1. 仮定1: 以下のように仮定する。その総利子支払いは宿主だ
2. 事実3と仮定1から、推論1: "「この杯は設える一方でそれは白黒付けない」ということは嘘である"が導かれる
3. 事実4から、推論2: "この杯は設えるけれど白黒付けない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その総利子支払いは宿主でない"が導かれる
6. 推論4と事実1から、推論5: "そのスペリングはしょっぱいけれど意見欄でない"が導かれる
7. 推論5と事実2から、仮説が導かれる

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