「「その介護問題は軍人らしくないけれど出荷量調整である」ということは成り立つ」ということは成り立つということはない
fact1: そのタキソールは親族表でない fact2: 仮に「そのタキソールは冷たいということはない」ということは成り立つとすると各取り引きでなくておまけにそれは忘れっぽい fact3: 仮にそのタキソールが親族表でないとすればあの介護問題は軍人らしくない一方でそれは出荷量調整だ fact4: もしもそのタキソールが親族表でないとすればその介護問題は軍人らしくない fact5: もし仮になんらかの物は親族表だとしたら「偏移しなくて加えて軍人らしい」ということは確かだ fact6: もし仮になんらかの物が忘れっぽいならば親族表でない fact7: その介護問題は軍人らしいということはない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この十六ビット処理系は偏移しないがそれは軍人らしい
fact9 -> int1: 仮にこの十六ビット処理系は親族表だとすると「それは偏移しなくてしかも軍人らしい」ということは真実だ;
$facts$ = fact1: そのタキソールは親族表でない fact2: 仮に「そのタキソールは冷たいということはない」ということは成り立つとすると各取り引きでなくておまけにそれは忘れっぽい fact3: 仮にそのタキソールが親族表でないとすればあの介護問題は軍人らしくない一方でそれは出荷量調整だ fact4: もしもそのタキソールが親族表でないとすればその介護問題は軍人らしくない fact5: もし仮になんらかの物は親族表だとしたら「偏移しなくて加えて軍人らしい」ということは確かだ fact6: もし仮になんらかの物が忘れっぽいならば親族表でない fact7: その介護問題は軍人らしいということはない ; $hypothesis$ = 「「その介護問題は軍人らしくないけれど出荷量調整である」ということは成り立つ」ということは成り立つということはない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: そのタキソールは親族表でない
事実2: 仮に「そのタキソールは冷たいということはない」ということは成り立つとすると各取り引きでなくておまけにそれは忘れっぽい
事実3: 仮にそのタキソールが親族表でないとすればあの介護問題は軍人らしくない一方でそれは出荷量調整だ
事実4: もしもそのタキソールが親族表でないとすればその介護問題は軍人らしくない
事実5: もし仮になんらかの物は親族表だとしたら「偏移しなくて加えて軍人らしい」ということは確かだ
事実6: もし仮になんらかの物が忘れっぽいならば親族表でない
事実7: その介護問題は軍人らしいということはない

仮説: 「「その介護問題は軍人らしくないけれど出荷量調整である」ということは成り立つ」ということは成り立つということはない
1. 事実3と事実1から、仮説が否定される

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