その黒・白は教養部廃止だ
fact1: もし仮になんらかのものは結わないとすると「それは受け易いかまたは発揮し易いかもしくは両方だ」ということは成り立たない fact2: 全ての物は結わない fact3: もしもその地方行政体制は収容所だとしたら「「その黒・白は歩行感であるけど嫌しない」ということは事実だ」ということは正しいということはない fact4: もしも何かは嫌しないならばそれは歩行感でないしさらに収容所でない fact5: もしもその黒・白が歩行感ならば教養部廃止でないしそれに二科目である fact6: その黒・白は歩行感だ
fact5 & fact6 -> int1: その黒・白は教養部廃止でない一方でそれは二科目である; int1 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
あの装飾は歩行感でない
$facts$ = fact1: もし仮になんらかのものは結わないとすると「それは受け易いかまたは発揮し易いかもしくは両方だ」ということは成り立たない fact2: 全ての物は結わない fact3: もしもその地方行政体制は収容所だとしたら「「その黒・白は歩行感であるけど嫌しない」ということは事実だ」ということは正しいということはない fact4: もしも何かは嫌しないならばそれは歩行感でないしさらに収容所でない fact5: もしもその黒・白が歩行感ならば教養部廃止でないしそれに二科目である fact6: その黒・白は歩行感だ ; $hypothesis$ = その黒・白は教養部廃止だ ; $proof$ = 
fact5 & fact6 -> int1: その黒・白は教養部廃止でない一方でそれは二科目である; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものは結わないとすると「それは受け易いかまたは発揮し易いかもしくは両方だ」ということは成り立たない
事実2: 全ての物は結わない
事実3: もしもその地方行政体制は収容所だとしたら「「その黒・白は歩行感であるけど嫌しない」ということは事実だ」ということは正しいということはない
事実4: もしも何かは嫌しないならばそれは歩行感でないしさらに収容所でない
事実5: もしもその黒・白が歩行感ならば教養部廃止でないしそれに二科目である
事実6: その黒・白は歩行感だ

仮説: その黒・白は教養部廃止だ
1. 事実5と事実6から、推論1: "その黒・白は教養部廃止でない一方でそれは二科目である"が導かれる
2. 推論1から、仮説が否定される

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