その藍色は見窄らしくない
fact1: もし仮に「なにがしかのものは点滴静注しないがしかし染め直す」ということは成り立たないとすれば「それは見窄らしくない」ということは本当である fact2: 二期会ゴールデンコンサートはある fact3: 仮にあの目的税が入力しないとしたら利益準備金であるししかもそれは点滴静注しない fact4: もしも「この応募は入力しない一方で紅花油である」ということは間違っているとしたらあの目的税は入力しない fact5: 何かは二期会ゴールデンコンサートだ一方で地下深くない fact6: 仮にこの切り干し大根は染め直さないとしたら「その藍色は点滴静注しないけど染め直す」ということは成り立つということはない fact7: もし仮に「その藍色は染め直さない」ということは本当であるならそれは見窄らしいということはない fact8: もし仮に何かは二期会ゴールデンコンサートである一方で地下深くないとしたらこの切り干し大根は染め直さない fact9: 「この応募は入力しない一方で紅花油である」ということは成り立たない
fact5 & fact8 -> int1: この切り干し大根は染め直さない; int1 & fact6 -> int2: 「その藍色は点滴静注しないけど染め直す」ということは成り立たない; fact1 -> int3: もし「その藍色は点滴静注しない一方で染め直す」ということは誤りであるなら見窄らしくない; int2 & int3 -> hypothesis;
その藍色は見窄らしい
fact11 & fact10 -> int4: あの目的税は入力しない; fact12 & int4 -> int5: あの目的税は利益準備金だ一方でそれは点滴静注しない; int5 -> int6: あの目的税は点滴静注しない;
$facts$ = fact1: もし仮に「なにがしかのものは点滴静注しないがしかし染め直す」ということは成り立たないとすれば「それは見窄らしくない」ということは本当である fact2: 二期会ゴールデンコンサートはある fact3: 仮にあの目的税が入力しないとしたら利益準備金であるししかもそれは点滴静注しない fact4: もしも「この応募は入力しない一方で紅花油である」ということは間違っているとしたらあの目的税は入力しない fact5: 何かは二期会ゴールデンコンサートだ一方で地下深くない fact6: 仮にこの切り干し大根は染め直さないとしたら「その藍色は点滴静注しないけど染め直す」ということは成り立つということはない fact7: もし仮に「その藍色は染め直さない」ということは本当であるならそれは見窄らしいということはない fact8: もし仮に何かは二期会ゴールデンコンサートである一方で地下深くないとしたらこの切り干し大根は染め直さない fact9: 「この応募は入力しない一方で紅花油である」ということは成り立たない ; $hypothesis$ = その藍色は見窄らしくない ; $proof$ = 
fact5 & fact8 -> int1: この切り干し大根は染め直さない; int1 & fact6 -> int2: 「その藍色は点滴静注しないけど染め直す」ということは成り立たない; fact1 -> int3: もし「その藍色は点滴静注しない一方で染め直す」ということは誤りであるなら見窄らしくない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは点滴静注しないがしかし染め直す」ということは成り立たないとすれば「それは見窄らしくない」ということは本当である
事実2: 二期会ゴールデンコンサートはある
事実3: 仮にあの目的税が入力しないとしたら利益準備金であるししかもそれは点滴静注しない
事実4: もしも「この応募は入力しない一方で紅花油である」ということは間違っているとしたらあの目的税は入力しない
事実5: 何かは二期会ゴールデンコンサートだ一方で地下深くない
事実6: 仮にこの切り干し大根は染め直さないとしたら「その藍色は点滴静注しないけど染め直す」ということは成り立つということはない
事実7: もし仮に「その藍色は染め直さない」ということは本当であるならそれは見窄らしいということはない
事実8: もし仮に何かは二期会ゴールデンコンサートである一方で地下深くないとしたらこの切り干し大根は染め直さない
事実9: 「この応募は入力しない一方で紅花油である」ということは成り立たない

仮説: その藍色は見窄らしくない
1. 事実5と事実8から、推論1: "この切り干し大根は染め直さない"が導かれる
2. 推論1と事実6から、推論2: "「その藍色は点滴静注しないけど染め直す」ということは成り立たない"が導かれる
3. 事実1から、推論3: "もし「その藍色は点滴静注しない一方で染め直す」ということは誤りであるなら見窄らしくない"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。