「あの新内侍は一インチ当たりで湧き上がる」ということは成り立たない
fact1: あの単元未満は一インチ当たりであるかそれは弁解がましいかあるいは両方だ fact2: その新番組は苦痛緩和であるし甘辛い fact3: もし仮になんらかの物が一インチ当たりであるかあるいは弁解がましいならあの新内侍は一インチ当たりである fact4: もしその新番組が甘辛いとするとあの新内侍は湧き上がる fact5: このシングル・サイズは駝鳥であるしそれは迎え入れる fact6: 「一インチ当たりであるかまたは湧き上がるかあるいは両方である」ものはある fact7: あの超芸術は出来易い
fact2 -> int1: 「その新番組は甘辛い」ということは正しい; int1 & fact4 -> int2: あの新内侍は湧き上がる; fact1 -> int3: なんらかのものは一インチ当たりであるか弁解がましいか両方ともである; int3 & fact3 -> int4: あの新内侍は一インチ当たりである; int2 & int4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; fact1 -> int3: (Ex): ({D}x v {E}x); int3 & fact3 -> int4: {D}{b}; int2 & int4 -> hypothesis;
$facts$ = fact1: あの単元未満は一インチ当たりであるかそれは弁解がましいかあるいは両方だ fact2: その新番組は苦痛緩和であるし甘辛い fact3: もし仮になんらかの物が一インチ当たりであるかあるいは弁解がましいならあの新内侍は一インチ当たりである fact4: もしその新番組が甘辛いとするとあの新内侍は湧き上がる fact5: このシングル・サイズは駝鳥であるしそれは迎え入れる fact6: 「一インチ当たりであるかまたは湧き上がるかあるいは両方である」ものはある fact7: あの超芸術は出来易い ; $hypothesis$ = 「あの新内侍は一インチ当たりで湧き上がる」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「その新番組は甘辛い」ということは正しい; int1 & fact4 -> int2: あの新内侍は湧き上がる; fact1 -> int3: なんらかのものは一インチ当たりであるか弁解がましいか両方ともである; int3 & fact3 -> int4: あの新内侍は一インチ当たりである; int2 & int4 -> hypothesis; __DISPROVED__
事実1: あの単元未満は一インチ当たりであるかそれは弁解がましいかあるいは両方だ
事実2: その新番組は苦痛緩和であるし甘辛い
事実3: もし仮になんらかの物が一インチ当たりであるかあるいは弁解がましいならあの新内侍は一インチ当たりである
事実4: もしその新番組が甘辛いとするとあの新内侍は湧き上がる
事実5: このシングル・サイズは駝鳥であるしそれは迎え入れる
事実6: 「一インチ当たりであるかまたは湧き上がるかあるいは両方である」ものはある
事実7: あの超芸術は出来易い

仮説: 「あの新内侍は一インチ当たりで湧き上がる」ということは成り立たない
1. 事実2から、推論1: "「その新番組は甘辛い」ということは正しい"が導かれる
2. 推論1と事実4から、推論2: "あの新内侍は湧き上がる"が導かれる
3. 事実1から、推論3: "なんらかのものは一インチ当たりであるか弁解がましいか両方ともである"が導かれる
4. 推論3と事実3から、推論4: "あの新内侍は一インチ当たりである"が導かれる
5. 推論2と推論4から、仮説が否定される

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