この万国旗は赤字主体だ
fact1: あの銅製は確定埋蔵量だけれど抽象的過ぎない fact2: あの銅製が御濃いならばこの万国旗は赤字主体だ fact3: この万国旗はレンダリングする fact4: もし「この万国旗はガス欠であるかまたは欠損する」ということは成り立たないとしたらそれは御濃いということはない fact5: もし「その細胞移植はプロらしいかまたは譲歩するか両方ともである」ということは成り立たないとすれば改称しない fact6: もしも「「御濃くて更に高家だ」ということは成り立たない」ものがあるとすればあの可能性は御濃くない fact7: もしも「「優れ者でしかも取り置く」ということは成り立たない」物があるならばあの万国旗は美しいということはない fact8: 「この万国旗はガス欠でないか欠損するかあるいは両方ともだ」ということは成り立たない fact9: この冤罪は欠損しない fact10: 美しいものは責任共済規程であるけど高家でない fact11: もし何らかの物は責任共済規程でないとしたら「御濃いしそれにそれは高家だ」ということは偽である fact12: もしも何かは美しくないとするとそれは責任共済規程でない fact13: この万国旗はガス欠だ fact14: この万国旗は上り易くない fact15: もしこの巨頭が御濃いとするとあの銅製は御濃い fact16: ある物は抽象的過ぎないなら「それは優れ者であるし加えて取り置く」ということは間違っている fact17: 「この万国旗はガス欠でないかもしくはそれは欠損するかもしくは両方ともである」ということは成り立つということはないとしたらそれは御濃くない fact18: 仮に「この万国旗は御濃いということはない」ということは間違っていないとしたら「赤字主体でない」ということは事実だ
fact17 & fact8 -> int1: この万国旗は御濃くない; int1 & fact18 -> hypothesis;
fact17 & fact8 -> int1: ¬{B}{a}; int1 & fact18 -> hypothesis;
この万国旗は赤字主体である
fact19 -> int2: 仮にあのオーディオミキサーが美しいとしたら責任共済規程である一方で高家であるということはない;
$facts$ = fact1: あの銅製は確定埋蔵量だけれど抽象的過ぎない fact2: あの銅製が御濃いならばこの万国旗は赤字主体だ fact3: この万国旗はレンダリングする fact4: もし「この万国旗はガス欠であるかまたは欠損する」ということは成り立たないとしたらそれは御濃いということはない fact5: もし「その細胞移植はプロらしいかまたは譲歩するか両方ともである」ということは成り立たないとすれば改称しない fact6: もしも「「御濃くて更に高家だ」ということは成り立たない」ものがあるとすればあの可能性は御濃くない fact7: もしも「「優れ者でしかも取り置く」ということは成り立たない」物があるならばあの万国旗は美しいということはない fact8: 「この万国旗はガス欠でないか欠損するかあるいは両方ともだ」ということは成り立たない fact9: この冤罪は欠損しない fact10: 美しいものは責任共済規程であるけど高家でない fact11: もし何らかの物は責任共済規程でないとしたら「御濃いしそれにそれは高家だ」ということは偽である fact12: もしも何かは美しくないとするとそれは責任共済規程でない fact13: この万国旗はガス欠だ fact14: この万国旗は上り易くない fact15: もしこの巨頭が御濃いとするとあの銅製は御濃い fact16: ある物は抽象的過ぎないなら「それは優れ者であるし加えて取り置く」ということは間違っている fact17: 「この万国旗はガス欠でないかもしくはそれは欠損するかもしくは両方ともである」ということは成り立つということはないとしたらそれは御濃くない fact18: 仮に「この万国旗は御濃いということはない」ということは間違っていないとしたら「赤字主体でない」ということは事実だ ; $hypothesis$ = この万国旗は赤字主体だ ; $proof$ = 
fact17 & fact8 -> int1: この万国旗は御濃くない; int1 & fact18 -> hypothesis; __DISPROVED__
事実1: あの銅製は確定埋蔵量だけれど抽象的過ぎない
事実2: あの銅製が御濃いならばこの万国旗は赤字主体だ
事実3: この万国旗はレンダリングする
事実4: もし「この万国旗はガス欠であるかまたは欠損する」ということは成り立たないとしたらそれは御濃いということはない
事実5: もし「その細胞移植はプロらしいかまたは譲歩するか両方ともである」ということは成り立たないとすれば改称しない
事実6: もしも「「御濃くて更に高家だ」ということは成り立たない」ものがあるとすればあの可能性は御濃くない
事実7: もしも「「優れ者でしかも取り置く」ということは成り立たない」物があるならばあの万国旗は美しいということはない
事実8: 「この万国旗はガス欠でないか欠損するかあるいは両方ともだ」ということは成り立たない
事実9: この冤罪は欠損しない
事実10: 美しいものは責任共済規程であるけど高家でない
事実11: もし何らかの物は責任共済規程でないとしたら「御濃いしそれにそれは高家だ」ということは偽である
事実12: もしも何かは美しくないとするとそれは責任共済規程でない
事実13: この万国旗はガス欠だ
事実14: この万国旗は上り易くない
事実15: もしこの巨頭が御濃いとするとあの銅製は御濃い
事実16: ある物は抽象的過ぎないなら「それは優れ者であるし加えて取り置く」ということは間違っている
事実17: 「この万国旗はガス欠でないかもしくはそれは欠損するかもしくは両方ともである」ということは成り立つということはないとしたらそれは御濃くない
事実18: 仮に「この万国旗は御濃いということはない」ということは間違っていないとしたら「赤字主体でない」ということは事実だ

仮説: この万国旗は赤字主体だ
1. 事実17と事実8から、推論1: "この万国旗は御濃くない"が導かれる
2. 推論1と事実18から、仮説が否定される

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