「この者無しは証言するし人間っぽい」ということは偽である
fact1: 仮になんらかの物は高架線であるとしたら「それは孝行娘でないしさらにそれは通り難い」ということは成り立たない fact2: 順応し易くない物は人間っぽくなくてしかも頑是無くない fact3: もし仮に「あるものは孝行娘だということはないけれどそれは通り難い」ということは成り立たないならそれは通り難くない fact4: もし「その戦略策定は聖痕だ」ということは確かであるならばこの者無しは証言する fact5: 細かくない物は通婚するということはないとすれば「それは順応し易いということはない」ということは偽であるということはない fact6: 「その戦略策定は高架線である」ということは真実である fact7: この者無しが頑是無くないとしたら人間っぽい fact8: 人間っぽいということはないものは証言するかまたは聖痕であるかあるいはどちらもである fact9: その戦略策定は聖痕だ fact10: この者無しは頑是無くない fact11: 仮に「その戦略策定は通り難くない」ということは本当ならば細かいということはないし通婚しない fact12: 仮にその戦略策定が証言するか聖痕であるかもしくはどちらもであるならあの改善・進歩は聖痕でない
fact4 & fact9 -> int1: この者無しは証言する; fact10 & fact7 -> int2: この者無しは人間っぽい; int1 & int2 -> hypothesis;
fact4 & fact9 -> int1: {B}{b}; fact10 & fact7 -> int2: {C}{b}; int1 & int2 -> hypothesis;
あの改善・進歩は聖痕でない
fact17 -> int3: もしもその戦略策定が人間っぽくないとすると証言するかもしくはそれは聖痕だ; fact15 -> int4: もしも「その戦略策定は順応し易くない」ということは成り立つとすれば「それは人間っぽくないし加えて頑是無くない」ということは成り立つ; fact16 -> int5: その戦略策定が細かくないしおまけにそれが通婚しないとすれば順応し易くない; fact19 -> int6: 仮に「その戦略策定は孝行娘でないがしかしそれは通り難い」ということは偽だとすれば通り難くない; fact18 -> int7: 仮にその戦略策定は高架線だとしたら「それは孝行娘でないしそれは通り難い」ということは成り立たない; int7 & fact14 -> int8: 「その戦略策定は孝行娘でない一方で通り難い」ということは正しくない; int6 & int8 -> int9: その戦略策定は通り難くない; fact13 & int9 -> int10: その戦略策定は細かくないしそれに通婚しない; int5 & int10 -> int11: その戦略策定は順応し易くない; int4 & int11 -> int12: その戦略策定が人間っぽくないしさらに頑是無くない; int12 -> int13: その戦略策定は人間っぽくない; int3 & int13 -> int14: その戦略策定は証言するか聖痕であるかまたは両方である; fact20 & int14 -> hypothesis;
$facts$ = fact1: 仮になんらかの物は高架線であるとしたら「それは孝行娘でないしさらにそれは通り難い」ということは成り立たない fact2: 順応し易くない物は人間っぽくなくてしかも頑是無くない fact3: もし仮に「あるものは孝行娘だということはないけれどそれは通り難い」ということは成り立たないならそれは通り難くない fact4: もし「その戦略策定は聖痕だ」ということは確かであるならばこの者無しは証言する fact5: 細かくない物は通婚するということはないとすれば「それは順応し易いということはない」ということは偽であるということはない fact6: 「その戦略策定は高架線である」ということは真実である fact7: この者無しが頑是無くないとしたら人間っぽい fact8: 人間っぽいということはないものは証言するかまたは聖痕であるかあるいはどちらもである fact9: その戦略策定は聖痕だ fact10: この者無しは頑是無くない fact11: 仮に「その戦略策定は通り難くない」ということは本当ならば細かいということはないし通婚しない fact12: 仮にその戦略策定が証言するか聖痕であるかもしくはどちらもであるならあの改善・進歩は聖痕でない ; $hypothesis$ = 「この者無しは証言するし人間っぽい」ということは偽である ; $proof$ = 
fact4 & fact9 -> int1: この者無しは証言する; fact10 & fact7 -> int2: この者無しは人間っぽい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物は高架線であるとしたら「それは孝行娘でないしさらにそれは通り難い」ということは成り立たない
事実2: 順応し易くない物は人間っぽくなくてしかも頑是無くない
事実3: もし仮に「あるものは孝行娘だということはないけれどそれは通り難い」ということは成り立たないならそれは通り難くない
事実4: もし「その戦略策定は聖痕だ」ということは確かであるならばこの者無しは証言する
事実5: 細かくない物は通婚するということはないとすれば「それは順応し易いということはない」ということは偽であるということはない
事実6: 「その戦略策定は高架線である」ということは真実である
事実7: この者無しが頑是無くないとしたら人間っぽい
事実8: 人間っぽいということはないものは証言するかまたは聖痕であるかあるいはどちらもである
事実9: その戦略策定は聖痕だ
事実10: この者無しは頑是無くない
事実11: 仮に「その戦略策定は通り難くない」ということは本当ならば細かいということはないし通婚しない
事実12: 仮にその戦略策定が証言するか聖痕であるかもしくはどちらもであるならあの改善・進歩は聖痕でない

仮説: 「この者無しは証言するし人間っぽい」ということは偽である
1. 事実4と事実9から、推論1: "この者無しは証言する"が導かれる
2. 事実10と事実7から、推論2: "この者無しは人間っぽい"が導かれる
3. 推論1と推論2から、仮説が否定される

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