この張り紙は青っぽい
fact1: 仮にこの模倣品がファミリーマートでないし緊密化しないとすればそれは加賀艦攻隊だ fact2: もしも「ある物は憧れるしさらにそれは行き着ける」ということは成り立たないとしたらそれは行き着けるない fact3: もしとあるものは乗り捨てないならば「憧れるししかも行き着ける」ということは間違っている fact4: この模倣品がプランニングであるししかも加賀艦攻隊であるとしたらこのファッション性は流れ易くない fact5: もしもこのファッション性が等しいかもしくは意地悪いかもしくはどちらもならばこのプロキシーサーバーは意地悪くない fact6: 「このファッション性はターミナルビルであるが実存するということはない」ということは嘘だ fact7: 仮に「このファッション性は乗り捨てないかもしくは忘れ難くないかもしくは両方ともである」ということは真実でないとするとこの張り紙は乗り捨てない fact8: もし「この模倣品は否定す」ということは正しいならばファミリーマートでないし緊密化しない fact9: この模倣品が青っぽいということはないとするとこの張り紙が意地悪くないしさらにそれは青っぽくない fact10: もし仮に「ある物は流れ易くない」ということは偽でないなら「乗り捨てないかまたは忘れ難くないかもしくは両方だ」ということは偽だ fact11: 青っぽくない物は等しい fact12: もし仮に何らかのものは問題提起しないなら「それはコンプライアンス統括部署でなくておまけにそれはプランニングであるということはない」ということは成り立たない fact13: 「あの対地高度はプランニングである」ということは事実であるなら「この保証能力は流れ易いがしかし忘れ難くない」ということは事実と異なる fact14: もし仮にとあるものは行き着けるないとしたら「意地悪くない」ということは本当である fact15: あの対地高度は加賀艦攻隊だしおまけにプランニングである fact16: すべては問題提起するということはない fact17: もし仮に「この保証能力は流れ易いが忘れ難くない」ということは成り立たないならばこの張り紙は憧れない fact18: この模倣品は否定す fact19: 「この保証能力はコンプライアンス統括部署でないし更にプランニングでない」ということは間違いであるならばあの模倣品はプランニングである fact20: 仮に「このファッション性はターミナルビルだが実存しない」ということは本当でないとしたらこの模倣品は青っぽくない
fact20 & fact6 -> int1: この模倣品は青っぽくない; int1 & fact9 -> int2: この張り紙は意地悪くないしまた青っぽくない; int2 -> hypothesis;
fact20 & fact6 -> int1: ¬{B}{b}; int1 & fact9 -> int2: (¬{C}{c} & ¬{B}{c}); int2 -> hypothesis;
「このプロキシーサーバーは意地悪くない」ということは成り立つ
fact22 -> int3: 仮にこのファッション性が青っぽくないならばそれは等しい; fact24 -> int4: あの対地高度はプランニングである; fact25 & int4 -> int5: 「この保証能力は流れ易いけど忘れ難くない」ということは確かでない; fact23 & int5 -> int6: この張り紙は憧れない; int6 -> int7: 「憧れない」物はある;
$facts$ = fact1: 仮にこの模倣品がファミリーマートでないし緊密化しないとすればそれは加賀艦攻隊だ fact2: もしも「ある物は憧れるしさらにそれは行き着ける」ということは成り立たないとしたらそれは行き着けるない fact3: もしとあるものは乗り捨てないならば「憧れるししかも行き着ける」ということは間違っている fact4: この模倣品がプランニングであるししかも加賀艦攻隊であるとしたらこのファッション性は流れ易くない fact5: もしもこのファッション性が等しいかもしくは意地悪いかもしくはどちらもならばこのプロキシーサーバーは意地悪くない fact6: 「このファッション性はターミナルビルであるが実存するということはない」ということは嘘だ fact7: 仮に「このファッション性は乗り捨てないかもしくは忘れ難くないかもしくは両方ともである」ということは真実でないとするとこの張り紙は乗り捨てない fact8: もし「この模倣品は否定す」ということは正しいならばファミリーマートでないし緊密化しない fact9: この模倣品が青っぽいということはないとするとこの張り紙が意地悪くないしさらにそれは青っぽくない fact10: もし仮に「ある物は流れ易くない」ということは偽でないなら「乗り捨てないかまたは忘れ難くないかもしくは両方だ」ということは偽だ fact11: 青っぽくない物は等しい fact12: もし仮に何らかのものは問題提起しないなら「それはコンプライアンス統括部署でなくておまけにそれはプランニングであるということはない」ということは成り立たない fact13: 「あの対地高度はプランニングである」ということは事実であるなら「この保証能力は流れ易いがしかし忘れ難くない」ということは事実と異なる fact14: もし仮にとあるものは行き着けるないとしたら「意地悪くない」ということは本当である fact15: あの対地高度は加賀艦攻隊だしおまけにプランニングである fact16: すべては問題提起するということはない fact17: もし仮に「この保証能力は流れ易いが忘れ難くない」ということは成り立たないならばこの張り紙は憧れない fact18: この模倣品は否定す fact19: 「この保証能力はコンプライアンス統括部署でないし更にプランニングでない」ということは間違いであるならばあの模倣品はプランニングである fact20: 仮に「このファッション性はターミナルビルだが実存しない」ということは本当でないとしたらこの模倣品は青っぽくない ; $hypothesis$ = この張り紙は青っぽい ; $proof$ = 
fact20 & fact6 -> int1: この模倣品は青っぽくない; int1 & fact9 -> int2: この張り紙は意地悪くないしまた青っぽくない; int2 -> hypothesis; __DISPROVED__
事実1: 仮にこの模倣品がファミリーマートでないし緊密化しないとすればそれは加賀艦攻隊だ
事実2: もしも「ある物は憧れるしさらにそれは行き着ける」ということは成り立たないとしたらそれは行き着けるない
事実3: もしとあるものは乗り捨てないならば「憧れるししかも行き着ける」ということは間違っている
事実4: この模倣品がプランニングであるししかも加賀艦攻隊であるとしたらこのファッション性は流れ易くない
事実5: もしもこのファッション性が等しいかもしくは意地悪いかもしくはどちらもならばこのプロキシーサーバーは意地悪くない
事実6: 「このファッション性はターミナルビルであるが実存するということはない」ということは嘘だ
事実7: 仮に「このファッション性は乗り捨てないかもしくは忘れ難くないかもしくは両方ともである」ということは真実でないとするとこの張り紙は乗り捨てない
事実8: もし「この模倣品は否定す」ということは正しいならばファミリーマートでないし緊密化しない
事実9: この模倣品が青っぽいということはないとするとこの張り紙が意地悪くないしさらにそれは青っぽくない
事実10: もし仮に「ある物は流れ易くない」ということは偽でないなら「乗り捨てないかまたは忘れ難くないかもしくは両方だ」ということは偽だ
事実11: 青っぽくない物は等しい
事実12: もし仮に何らかのものは問題提起しないなら「それはコンプライアンス統括部署でなくておまけにそれはプランニングであるということはない」ということは成り立たない
事実13: 「あの対地高度はプランニングである」ということは事実であるなら「この保証能力は流れ易いがしかし忘れ難くない」ということは事実と異なる
事実14: もし仮にとあるものは行き着けるないとしたら「意地悪くない」ということは本当である
事実15: あの対地高度は加賀艦攻隊だしおまけにプランニングである
事実16: すべては問題提起するということはない
事実17: もし仮に「この保証能力は流れ易いが忘れ難くない」ということは成り立たないならばこの張り紙は憧れない
事実18: この模倣品は否定す
事実19: 「この保証能力はコンプライアンス統括部署でないし更にプランニングでない」ということは間違いであるならばあの模倣品はプランニングである
事実20: 仮に「このファッション性はターミナルビルだが実存しない」ということは本当でないとしたらこの模倣品は青っぽくない

仮説: この張り紙は青っぽい
1. 事実20と事実6から、推論1: "この模倣品は青っぽくない"が導かれる
2. 推論1と事実9から、推論2: "この張り紙は意地悪くないしまた青っぽくない"が導かれる
3. 推論2から、仮説が否定される

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