その控除後は役得でない
fact1: もし生じ易い物は検体検査でないとするとそれは安し fact2: 仮にその生活指導が喜ばしかないとすればあの控除後は生じ易いけど検体検査でない fact3: その生活指導が安しないとしたらその控除後は役得である一方で喜ばしかない fact4: 仮にこの納入者が江戸モンブランでないとすればこの酸素療法は把握し辛いかまたはそれは帰港するかあるいは両方ともだ fact5: もし「その生活指導は染め抜かない」ということは成り立つとすればその控除後は喜ばしくて安し fact6: その控除後は検体検査でない fact7: 仮にその控除後が喜ばしいとするとその生活指導は役得だ fact8: もしも生じ易い物は検体検査だとすれば「安し」ということは正しい fact9: その生活指導は喜ばしかない fact10: あのアイホールは検体検査でない fact11: もしとある物が安しとすれば役得だ fact12: その控除後は喜ばしかない
fact2 & fact9 -> int1: その控除後は生じ易い一方でそれは検体検査でない; fact1 -> int2: その控除後は生じ易いけれど検体検査でないとしたら「安し」ということは正しい; int1 & int2 -> int3: その控除後は安し; fact11 -> int4: もし仮にその控除後が安しとしたらそれは役得だ; int3 & int4 -> hypothesis;
fact2 & fact9 -> int1: ({AA}{b} & ¬{AB}{b}); fact1 -> int2: ({AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; fact11 -> int4: {B}{b} -> {C}{b}; int3 & int4 -> hypothesis;
その控除後は役得でない
$facts$ = fact1: もし生じ易い物は検体検査でないとするとそれは安し fact2: 仮にその生活指導が喜ばしかないとすればあの控除後は生じ易いけど検体検査でない fact3: その生活指導が安しないとしたらその控除後は役得である一方で喜ばしかない fact4: 仮にこの納入者が江戸モンブランでないとすればこの酸素療法は把握し辛いかまたはそれは帰港するかあるいは両方ともだ fact5: もし「その生活指導は染め抜かない」ということは成り立つとすればその控除後は喜ばしくて安し fact6: その控除後は検体検査でない fact7: 仮にその控除後が喜ばしいとするとその生活指導は役得だ fact8: もしも生じ易い物は検体検査だとすれば「安し」ということは正しい fact9: その生活指導は喜ばしかない fact10: あのアイホールは検体検査でない fact11: もしとある物が安しとすれば役得だ fact12: その控除後は喜ばしかない ; $hypothesis$ = その控除後は役得でない ; $proof$ = 
fact2 & fact9 -> int1: その控除後は生じ易い一方でそれは検体検査でない; fact1 -> int2: その控除後は生じ易いけれど検体検査でないとしたら「安し」ということは正しい; int1 & int2 -> int3: その控除後は安し; fact11 -> int4: もし仮にその控除後が安しとしたらそれは役得だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし生じ易い物は検体検査でないとするとそれは安し
事実2: 仮にその生活指導が喜ばしかないとすればあの控除後は生じ易いけど検体検査でない
事実3: その生活指導が安しないとしたらその控除後は役得である一方で喜ばしかない
事実4: 仮にこの納入者が江戸モンブランでないとすればこの酸素療法は把握し辛いかまたはそれは帰港するかあるいは両方ともだ
事実5: もし「その生活指導は染め抜かない」ということは成り立つとすればその控除後は喜ばしくて安し
事実6: その控除後は検体検査でない
事実7: 仮にその控除後が喜ばしいとするとその生活指導は役得だ
事実8: もしも生じ易い物は検体検査だとすれば「安し」ということは正しい
事実9: その生活指導は喜ばしかない
事実10: あのアイホールは検体検査でない
事実11: もしとある物が安しとすれば役得だ
事実12: その控除後は喜ばしかない

仮説: その控除後は役得でない
1. 事実2と事実9から、推論1: "その控除後は生じ易い一方でそれは検体検査でない"が導かれる
2. 事実1から、推論2: "その控除後は生じ易いけれど検体検査でないとしたら「安し」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その控除後は安し"が導かれる
4. 事実11から、推論4: "もし仮にその控除後が安しとしたらそれは役得だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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