「なにがしかのものは頷き掛けない一方で甲高い」ということは成り立たない
fact1: 「頷き掛けるしおまけに甲高い」ものはある fact2: 全ては運送する fact3: なんらかのものは頷き掛けない fact4: このＣ‐Ｑは頷き掛けない一方で甲高い fact5: 「甲高い」ものはある fact6: もし仮に何らかのものは運送するとしたら「甲高い一方で死滅しない」ということは成り立たない fact7: もし「なにがしかのものは影響され易いがしかし死滅するということはない」ということは偽だとするとそれは影響され易いということはない fact8: このＣ‐Ｑは甲高い fact9: ある物は南西方位でないけど捩じ曲がる fact10: 「御出迎えないけれど灯し難い」物はある
fact4 -> hypothesis;
fact4 -> hypothesis;
何らかの物は影響され易くないがしかし安堵し難い
fact11 -> int1: もし仮に「このＢ色は影響され易いがしかし死滅するということはない」ということは成り立たないとしたらそれは影響され易くない;
$facts$ = fact1: 「頷き掛けるしおまけに甲高い」ものはある fact2: 全ては運送する fact3: なんらかのものは頷き掛けない fact4: このＣ‐Ｑは頷き掛けない一方で甲高い fact5: 「甲高い」ものはある fact6: もし仮に何らかのものは運送するとしたら「甲高い一方で死滅しない」ということは成り立たない fact7: もし「なにがしかのものは影響され易いがしかし死滅するということはない」ということは偽だとするとそれは影響され易いということはない fact8: このＣ‐Ｑは甲高い fact9: ある物は南西方位でないけど捩じ曲がる fact10: 「御出迎えないけれど灯し難い」物はある ; $hypothesis$ = 「なにがしかのものは頷き掛けない一方で甲高い」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「頷き掛けるしおまけに甲高い」ものはある
事実2: 全ては運送する
事実3: なんらかのものは頷き掛けない
事実4: このＣ‐Ｑは頷き掛けない一方で甲高い
事実5: 「甲高い」ものはある
事実6: もし仮に何らかのものは運送するとしたら「甲高い一方で死滅しない」ということは成り立たない
事実7: もし「なにがしかのものは影響され易いがしかし死滅するということはない」ということは偽だとするとそれは影響され易いということはない
事実8: このＣ‐Ｑは甲高い
事実9: ある物は南西方位でないけど捩じ曲がる
事実10: 「御出迎えないけれど灯し難い」物はある

仮説: 「なにがしかのものは頷き掛けない一方で甲高い」ということは成り立たない
1. 事実4から、仮説が否定される

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