「とある物は付き添う」ということは成り立たない
fact1: もしもこの十七αは現代文明でないとすると「閉会しないし加えて幼くない」ということは確かでない fact2: もしこの十七αが付き添わないとすると幼くない fact3: この十七αは現代文明でない fact4: もし仮にこの十七αが付き添うということはないならば閉会しないし幼くない fact5: アメリカらしくない物は付き添うかあるいは現代文明だ fact6: 仮に何らかのものが付き添うとすると食味だ
void -> assump1: 以下のように仮定する。「この十七αは付き添うということはない」ということは成り立つ; fact4 & assump1 -> int1: この十七αは閉会するということはないしかつ幼くない; fact1 & fact3 -> int2: 「この十七αは閉会しないし幼くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この十七αは付き添う; int4 -> hypothesis;
「食味である」物はある
fact7 -> int5: この十七αがアメリカらしくないとすれば付き添うか現代文明であるかもしくは両方である; fact8 -> int6: もしもこの十七αが付き添うとしたらそれは食味である;
$facts$ = fact1: もしもこの十七αは現代文明でないとすると「閉会しないし加えて幼くない」ということは確かでない fact2: もしこの十七αが付き添わないとすると幼くない fact3: この十七αは現代文明でない fact4: もし仮にこの十七αが付き添うということはないならば閉会しないし幼くない fact5: アメリカらしくない物は付き添うかあるいは現代文明だ fact6: 仮に何らかのものが付き添うとすると食味だ ; $hypothesis$ = 「とある物は付き添う」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この十七αは付き添うということはない」ということは成り立つ; fact4 & assump1 -> int1: この十七αは閉会するということはないしかつ幼くない; fact1 & fact3 -> int2: 「この十七αは閉会しないし幼くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この十七αは付き添う; int4 -> hypothesis; __DISPROVED__
事実1: もしもこの十七αは現代文明でないとすると「閉会しないし加えて幼くない」ということは確かでない
事実2: もしこの十七αが付き添わないとすると幼くない
事実3: この十七αは現代文明でない
事実4: もし仮にこの十七αが付き添うということはないならば閉会しないし幼くない
事実5: アメリカらしくない物は付き添うかあるいは現代文明だ
事実6: 仮に何らかのものが付き添うとすると食味だ

仮説: 「とある物は付き添う」ということは成り立たない
1. 仮定1: 以下のように仮定する。「この十七αは付き添うということはない」ということは成り立つ
2. 事実4と仮定1から、推論1: "この十七αは閉会するということはないしかつ幼くない"が導かれる
3. 事実1と事実3から、推論2: "「この十七αは閉会しないし幼くない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この十七αは付き添う"が導かれる
6. 推論4から、仮説が否定される

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