この労働科学研究所報告は政治組織でない
fact1: 「この判断材料は活動し難くないけど受け辛い」ということは嘘である fact2: 「この判断材料は活動し難くないけどそれは受け辛い」ということは誤りであるならばこの組み技格闘技はおどろおどろしい fact3: もしもこの組み技格闘技がアメリカ植民地ならこの労働科学研究所報告は政治組織である fact4: もしなにかは頭ごなしでないとすれば「おどろおどろしくないがしかしアメリカ植民地だ」ということは成り立つということはない fact5: 仮に「なんらかの物はおどろおどろしくないがしかしそれはアメリカ植民地だ」ということは間違っているとすると政治組織でない fact6: この組み技格闘技は現金化出来るということはない fact7: おどろおどろしいものはアメリカ植民地だ
fact2 & fact1 -> int1: この組み技格闘技はおどろおどろしい; fact7 -> int2: もしもこの組み技格闘技がおどろおどろしいならアメリカ植民地だ; int1 & int2 -> int3: この組み技格闘技はアメリカ植民地だ; int3 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; fact7 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; int3 & fact3 -> hypothesis;
この労働科学研究所報告は政治組織でない
fact9 -> int4: 仮に「この労働科学研究所報告はおどろおどろしくないけれどアメリカ植民地である」ということは間違っているとしたら政治組織だということはない; fact10 -> int5: もしこの労働科学研究所報告は頭ごなしでないならば「それはおどろおどろしくなくてかつアメリカ植民地だ」ということは誤っている; fact8 -> int6: なにがしかのものは現金化出来ない;
$facts$ = fact1: 「この判断材料は活動し難くないけど受け辛い」ということは嘘である fact2: 「この判断材料は活動し難くないけどそれは受け辛い」ということは誤りであるならばこの組み技格闘技はおどろおどろしい fact3: もしもこの組み技格闘技がアメリカ植民地ならこの労働科学研究所報告は政治組織である fact4: もしなにかは頭ごなしでないとすれば「おどろおどろしくないがしかしアメリカ植民地だ」ということは成り立つということはない fact5: 仮に「なんらかの物はおどろおどろしくないがしかしそれはアメリカ植民地だ」ということは間違っているとすると政治組織でない fact6: この組み技格闘技は現金化出来るということはない fact7: おどろおどろしいものはアメリカ植民地だ ; $hypothesis$ = この労働科学研究所報告は政治組織でない ; $proof$ = 
fact2 & fact1 -> int1: この組み技格闘技はおどろおどろしい; fact7 -> int2: もしもこの組み技格闘技がおどろおどろしいならアメリカ植民地だ; int1 & int2 -> int3: この組み技格闘技はアメリカ植民地だ; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この判断材料は活動し難くないけど受け辛い」ということは嘘である
事実2: 「この判断材料は活動し難くないけどそれは受け辛い」ということは誤りであるならばこの組み技格闘技はおどろおどろしい
事実3: もしもこの組み技格闘技がアメリカ植民地ならこの労働科学研究所報告は政治組織である
事実4: もしなにかは頭ごなしでないとすれば「おどろおどろしくないがしかしアメリカ植民地だ」ということは成り立つということはない
事実5: 仮に「なんらかの物はおどろおどろしくないがしかしそれはアメリカ植民地だ」ということは間違っているとすると政治組織でない
事実6: この組み技格闘技は現金化出来るということはない
事実7: おどろおどろしいものはアメリカ植民地だ

仮説: この労働科学研究所報告は政治組織でない
1. 事実2と事実1から、推論1: "この組み技格闘技はおどろおどろしい"が導かれる
2. 事実7から、推論2: "もしもこの組み技格闘技がおどろおどろしいならアメリカ植民地だ"が導かれる
3. 推論1と推論2から、推論3: "この組み技格闘技はアメリカ植民地だ"が導かれる
4. 推論3と事実3から、仮説が否定される

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