あの遣り方はガス混合気であるということはない
fact1: もしも「とあるものは貧しくないし詮無くない」ということは事実と異なればガス混合気でない fact2: あの優勝はガス混合気であるということはない fact3: あの遣り方は貧しくない fact4: 「あの遣り方はやくざっぽい」ということは正しい fact5: 「もしも「あの遣り方はやくざっぽい」ということは正しいならあの遣り方は詮無くないがしかし読書レディネスだ」ということは事実である fact6: 「あの遣り方は貧しくないしガス混合気でない」ということは誤っている fact7: あの遣り方は御黙る
void -> assump1: 以下のように仮定する。あの遣り方はガス混合気でない; fact3 & assump1 -> int1: あの遣り方は貧しいということはないしそれはガス混合気でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
この米不足は惨たらしいということはなくて後ろめたくない
fact9 & fact8 -> int3: あの遣り方は詮無くないけど読書レディネスである; int3 -> int4: なにかは詮無いということはないがしかし読書レディネスだ;
$facts$ = fact1: もしも「とあるものは貧しくないし詮無くない」ということは事実と異なればガス混合気でない fact2: あの優勝はガス混合気であるということはない fact3: あの遣り方は貧しくない fact4: 「あの遣り方はやくざっぽい」ということは正しい fact5: 「もしも「あの遣り方はやくざっぽい」ということは正しいならあの遣り方は詮無くないがしかし読書レディネスだ」ということは事実である fact6: 「あの遣り方は貧しくないしガス混合気でない」ということは誤っている fact7: あの遣り方は御黙る ; $hypothesis$ = あの遣り方はガス混合気であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの遣り方はガス混合気でない; fact3 & assump1 -> int1: あの遣り方は貧しいということはないしそれはガス混合気でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしも「とあるものは貧しくないし詮無くない」ということは事実と異なればガス混合気でない
事実2: あの優勝はガス混合気であるということはない
事実3: あの遣り方は貧しくない
事実4: 「あの遣り方はやくざっぽい」ということは正しい
事実5: 「もしも「あの遣り方はやくざっぽい」ということは正しいならあの遣り方は詮無くないがしかし読書レディネスだ」ということは事実である
事実6: 「あの遣り方は貧しくないしガス混合気でない」ということは誤っている
事実7: あの遣り方は御黙る

仮説: あの遣り方はガス混合気であるということはない
1. 仮定1: 以下のように仮定する。あの遣り方はガス混合気でない
2. 事実3と仮定1から、推論1: "あの遣り方は貧しいということはないしそれはガス混合気でない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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