「この侍臣はインターンでそれは主導権である」ということは成り立たない
fact1: もし仮にこの水防が折り返さないならばこの侍臣は爆破しない fact2: この水防は主導権でない fact3: もしもこの水防が中枢骨片であるけれどそれが爆破しないとすればあの生活時間はインターンでない fact4: 何らかのものは芸名でない一方で物寂しいならそれは吹き易くない fact5: 仮に何かは物寂しいか芸名でないとしたら芸名でない fact6: どれもこれもは爆破しない fact7: この侍臣は主導権だ fact8: この水防がインターンでないならばこの侍臣は主導権だ fact9: 何らかのものが引き渡すとすればそれは折り返さないかあるいはそれは中枢骨片でない fact10: この水防がインターンでないとしたらこの侍臣はインターンであるし加えて主導権である fact11: なんらかの物が芸名であるということはないとしたらそれは引き渡すしそれは吹き易い fact12: このサリーは爆破しないが主導権である fact13: もしこの消化不良がシンボル的存在でないならば思慮深いししかもあどけない fact14: なんらかのものが主導権であるけれどそれが引き渡さないならそれは折り返す fact15: もしなにがしかの物が吹き易くないならそれは主導権だがしかし引き渡さない fact16: 「すべてのものは爆破しないし中枢骨片である」ということは成り立つ fact17: この消化不良が思慮深いならこの水防は物寂しいかあるいは芸名でないかあるいは両方ともである fact18: この消化不良は質問するということはない fact19: 仮にこのサリーが爆破しない一方でそれが中枢骨片だとすればこの水防はインターンだということはない fact20: もし仮にこの消化不良は事務センターでないし質問しないとすればそれはシンボル的存在でない fact21: 「この侍臣が折り返すとすればあの水防は中枢骨片であるがしかしそれは爆破しない」ということは真実である fact22: もし「この水防は中枢骨片であるけれど折り返すということはない」ということは誤りであるならばそれは中枢骨片でない fact23: この消化不良は事務センターでない
fact16 -> int1: このサリーは爆破しないけどそれは中枢骨片だ; int1 & fact19 -> int2: この水防はインターンでない; int2 & fact10 -> hypothesis;
fact16 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact19 -> int2: ¬{C}{a}; int2 & fact10 -> hypothesis;
「この侍臣はインターンだしそれに主導権だ」ということは間違っている
fact26 -> int3: もし仮にこの水防が引き渡せばそれは折り返さないか中枢骨片でないかまたは両方ともだ; fact29 -> int4: もしもこの水防は芸名であるということはないとしたら引き渡すし吹き易い; fact32 -> int5: もし仮にこの水防は物寂しいかあるいは芸名でないとすると芸名でない; fact27 & fact30 -> int6: この消化不良は事務センターでないしさらにそれは質問しない; fact28 & int6 -> int7: この消化不良はシンボル的存在でない; fact24 & int7 -> int8: この消化不良は思慮深いし加えてあどけない; int8 -> int9: この消化不良は思慮深い; fact31 & int9 -> int10: この水防は物寂しいか芸名でないかもしくはどちらもである; int5 & int10 -> int11: この水防は芸名でない; int4 & int11 -> int12: この水防は引き渡すしさらに吹き易い; int12 -> int13: この水防は引き渡す; int3 & int13 -> int14: この水防は折り返さないかもしくは中枢骨片でないかあるいは両方である;
$facts$ = fact1: もし仮にこの水防が折り返さないならばこの侍臣は爆破しない fact2: この水防は主導権でない fact3: もしもこの水防が中枢骨片であるけれどそれが爆破しないとすればあの生活時間はインターンでない fact4: 何らかのものは芸名でない一方で物寂しいならそれは吹き易くない fact5: 仮に何かは物寂しいか芸名でないとしたら芸名でない fact6: どれもこれもは爆破しない fact7: この侍臣は主導権だ fact8: この水防がインターンでないならばこの侍臣は主導権だ fact9: 何らかのものが引き渡すとすればそれは折り返さないかあるいはそれは中枢骨片でない fact10: この水防がインターンでないとしたらこの侍臣はインターンであるし加えて主導権である fact11: なんらかの物が芸名であるということはないとしたらそれは引き渡すしそれは吹き易い fact12: このサリーは爆破しないが主導権である fact13: もしこの消化不良がシンボル的存在でないならば思慮深いししかもあどけない fact14: なんらかのものが主導権であるけれどそれが引き渡さないならそれは折り返す fact15: もしなにがしかの物が吹き易くないならそれは主導権だがしかし引き渡さない fact16: 「すべてのものは爆破しないし中枢骨片である」ということは成り立つ fact17: この消化不良が思慮深いならこの水防は物寂しいかあるいは芸名でないかあるいは両方ともである fact18: この消化不良は質問するということはない fact19: 仮にこのサリーが爆破しない一方でそれが中枢骨片だとすればこの水防はインターンだということはない fact20: もし仮にこの消化不良は事務センターでないし質問しないとすればそれはシンボル的存在でない fact21: 「この侍臣が折り返すとすればあの水防は中枢骨片であるがしかしそれは爆破しない」ということは真実である fact22: もし「この水防は中枢骨片であるけれど折り返すということはない」ということは誤りであるならばそれは中枢骨片でない fact23: この消化不良は事務センターでない ; $hypothesis$ = 「この侍臣はインターンでそれは主導権である」ということは成り立たない ; $proof$ = 
fact16 -> int1: このサリーは爆破しないけどそれは中枢骨片だ; int1 & fact19 -> int2: この水防はインターンでない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮にこの水防が折り返さないならばこの侍臣は爆破しない
事実2: この水防は主導権でない
事実3: もしもこの水防が中枢骨片であるけれどそれが爆破しないとすればあの生活時間はインターンでない
事実4: 何らかのものは芸名でない一方で物寂しいならそれは吹き易くない
事実5: 仮に何かは物寂しいか芸名でないとしたら芸名でない
事実6: どれもこれもは爆破しない
事実7: この侍臣は主導権だ
事実8: この水防がインターンでないならばこの侍臣は主導権だ
事実9: 何らかのものが引き渡すとすればそれは折り返さないかあるいはそれは中枢骨片でない
事実10: この水防がインターンでないとしたらこの侍臣はインターンであるし加えて主導権である
事実11: なんらかの物が芸名であるということはないとしたらそれは引き渡すしそれは吹き易い
事実12: このサリーは爆破しないが主導権である
事実13: もしこの消化不良がシンボル的存在でないならば思慮深いししかもあどけない
事実14: なんらかのものが主導権であるけれどそれが引き渡さないならそれは折り返す
事実15: もしなにがしかの物が吹き易くないならそれは主導権だがしかし引き渡さない
事実16: 「すべてのものは爆破しないし中枢骨片である」ということは成り立つ
事実17: この消化不良が思慮深いならこの水防は物寂しいかあるいは芸名でないかあるいは両方ともである
事実18: この消化不良は質問するということはない
事実19: 仮にこのサリーが爆破しない一方でそれが中枢骨片だとすればこの水防はインターンだということはない
事実20: もし仮にこの消化不良は事務センターでないし質問しないとすればそれはシンボル的存在でない
事実21: 「この侍臣が折り返すとすればあの水防は中枢骨片であるがしかしそれは爆破しない」ということは真実である
事実22: もし「この水防は中枢骨片であるけれど折り返すということはない」ということは誤りであるならばそれは中枢骨片でない
事実23: この消化不良は事務センターでない

仮説: 「この侍臣はインターンでそれは主導権である」ということは成り立たない
1. 事実16から、推論1: "このサリーは爆破しないけどそれは中枢骨片だ"が導かれる
2. 推論1と事実19から、推論2: "この水防はインターンでない"が導かれる
3. 推論2と事実10から、仮説が否定される

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