その自然体は引き出し易くない
fact1: もしもその自然体が気怠くらないとしたらあの自己学習能力は信仰深いが引き出し易くない fact2: あの自己学習能力は信仰深くない fact3: その武勇は気怠くらない fact4: もしもある物は悪いなら「それは手子摺るということはないがしかし面倒臭い」ということは偽である fact5: その武勇は物々しい fact6: もしもその武勇が引き出し易くないとしたらその自然体は気怠いしそれにそれは役らしい fact7: もしも「その武勇は手子摺るということはない一方で面倒臭い」ということは嘘ならばあの自然体はＣＥＮだ fact8: 全ては餅物でない fact9: もし「あの自己学習能力は役らしい」ということは真実ならばその自然体は引き出し易い fact10: もし仮にその武勇が気怠くないならあの自己学習能力は役らしいけど信仰深くない fact11: 仮にその武勇が物々しいとしたらそれは手子摺る fact12: もし仮にその武勇が気怠くらないとすればあの自己学習能力は信仰深くない fact13: もしなにかは手子摺るしおまけにＣＥＮだとしたらそれは引き出し易くない fact14: もしある物が餅物でないとすると悪くてまた物々しい
fact10 & fact3 -> int1: あの自己学習能力は役らしいけれど信仰深くない; int1 -> int2: あの自己学習能力は役らしい; int2 & fact9 -> hypothesis;
fact10 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> int2: {AA}{b}; int2 & fact9 -> hypothesis;
その自然体は役らしい
fact17 -> int3: もし「その武勇は手子摺るしそれにそれはＣＥＮだ」ということは成り立つとしたら「それは引き出し易くない」ということは事実だ; fact15 & fact18 -> int4: 「その武勇は手子摺る」ということは確かだ;
$facts$ = fact1: もしもその自然体が気怠くらないとしたらあの自己学習能力は信仰深いが引き出し易くない fact2: あの自己学習能力は信仰深くない fact3: その武勇は気怠くらない fact4: もしもある物は悪いなら「それは手子摺るということはないがしかし面倒臭い」ということは偽である fact5: その武勇は物々しい fact6: もしもその武勇が引き出し易くないとしたらその自然体は気怠いしそれにそれは役らしい fact7: もしも「その武勇は手子摺るということはない一方で面倒臭い」ということは嘘ならばあの自然体はＣＥＮだ fact8: 全ては餅物でない fact9: もし「あの自己学習能力は役らしい」ということは真実ならばその自然体は引き出し易い fact10: もし仮にその武勇が気怠くないならあの自己学習能力は役らしいけど信仰深くない fact11: 仮にその武勇が物々しいとしたらそれは手子摺る fact12: もし仮にその武勇が気怠くらないとすればあの自己学習能力は信仰深くない fact13: もしなにかは手子摺るしおまけにＣＥＮだとしたらそれは引き出し易くない fact14: もしある物が餅物でないとすると悪くてまた物々しい ; $hypothesis$ = その自然体は引き出し易くない ; $proof$ = 
fact10 & fact3 -> int1: あの自己学習能力は役らしいけれど信仰深くない; int1 -> int2: あの自己学習能力は役らしい; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: もしもその自然体が気怠くらないとしたらあの自己学習能力は信仰深いが引き出し易くない
事実2: あの自己学習能力は信仰深くない
事実3: その武勇は気怠くらない
事実4: もしもある物は悪いなら「それは手子摺るということはないがしかし面倒臭い」ということは偽である
事実5: その武勇は物々しい
事実6: もしもその武勇が引き出し易くないとしたらその自然体は気怠いしそれにそれは役らしい
事実7: もしも「その武勇は手子摺るということはない一方で面倒臭い」ということは嘘ならばあの自然体はＣＥＮだ
事実8: 全ては餅物でない
事実9: もし「あの自己学習能力は役らしい」ということは真実ならばその自然体は引き出し易い
事実10: もし仮にその武勇が気怠くないならあの自己学習能力は役らしいけど信仰深くない
事実11: 仮にその武勇が物々しいとしたらそれは手子摺る
事実12: もし仮にその武勇が気怠くらないとすればあの自己学習能力は信仰深くない
事実13: もしなにかは手子摺るしおまけにＣＥＮだとしたらそれは引き出し易くない
事実14: もしある物が餅物でないとすると悪くてまた物々しい

仮説: その自然体は引き出し易くない
1. 事実10と事実3から、推論1: "あの自己学習能力は役らしいけれど信仰深くない"が導かれる
2. 推論1から、推論2: "あの自己学習能力は役らしい"が導かれる
3. 推論2と事実9から、仮説が否定される

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