あの螺旋状はやくざっぽい
fact1: もし仮にあの締め切り日が終助詞ならあの螺旋状は基本情報でないし思しくない fact2: あの締め切り日は話し易くない fact3: この運転前は売り込まない fact4: あの締め切り日が売り込まないならこの運転前は話し易い fact5: もしもあの螺旋状がやくざっぽいということはなくて売り込まないならこの運転前は母子家庭でない fact6: もしもあの締め切り日が話し易いということはないとしたらこの運転前は母子家庭でないしそれは売り込まない fact7: 仮に何らかのものは基本情報でないなら「信じ込まなくてかつ可笑しない」ということは誤っている fact8: もし仮にこの運転前は母子家庭であるということはないけど売り込むとしたら「この外部市場はＷＡＳＰでない」ということは正しい fact9: 仮にこの運転前が母子家庭でなくてまたそれが売り込まないとすればこの外部市場はＷＡＳＰでない fact10: もし仮に「あるものは信じ込む」ということは確かであるならば「話し易くないけどＷＡＳＰである」ということは偽だ fact11: その資生堂フィティットは母子家庭でない fact12: もしもこの外部市場がＷＡＳＰでないならあの螺旋状はやくざっぽい fact13: もし仮にこの運転前はやくざっぽくないとすれば「あの締め切り日は話し易い一方でＷＡＳＰでない」ということは確かでない fact14: もしも「この運転前は終助詞である」ということは真実であるなら「あの締め切り日は終助詞である」ということは正しい fact15: 「もしも「とある物は信じ込むということはなくてそれは可笑しない」ということは成り立つということはないとするとそれは信じ込む」ということは成り立つ fact16: 「この運転前は話し易いということはない」ということは本当だ fact17: もし仮に「あるものは話し易くないけれどＷＡＳＰだ」ということは誤りだとしたらそれはやくざっぽくない fact18: あの螺旋状は母子家庭だ fact19: 「あの締め切り日は話し易くない」ということは真実だとするとこの運転前は売り込まない
fact6 & fact2 -> int1: 「この運転前は母子家庭でなくて加えて売り込まない」ということは偽であるということはない; int1 & fact9 -> int2: この外部市場はＷＡＳＰであるということはない; int2 & fact12 -> hypothesis;
fact6 & fact2 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact9 -> int2: ¬{B}{c}; int2 & fact12 -> hypothesis;
あの螺旋状はやくざっぽくない
fact20 -> int3: もし仮に「「あの螺旋状は話し易くないがしかしそれはＷＡＳＰである」ということは事実である」ということは誤っているならそれはやくざっぽくない; fact21 -> int4: もしもあの螺旋状は信じ込むなら「話し易くないしそれはＷＡＳＰである」ということは事実と異なる; fact23 -> int5: もし仮に「あの螺旋状は信じ込むということはなくてそれに可笑しない」ということは成り立たないならば「信じ込む」ということは正しい; fact24 -> int6: もし「あの螺旋状は基本情報でない」ということは成り立つとすると「信じ込まないしその上それは可笑しない」ということは成り立たない;
$facts$ = fact1: もし仮にあの締め切り日が終助詞ならあの螺旋状は基本情報でないし思しくない fact2: あの締め切り日は話し易くない fact3: この運転前は売り込まない fact4: あの締め切り日が売り込まないならこの運転前は話し易い fact5: もしもあの螺旋状がやくざっぽいということはなくて売り込まないならこの運転前は母子家庭でない fact6: もしもあの締め切り日が話し易いということはないとしたらこの運転前は母子家庭でないしそれは売り込まない fact7: 仮に何らかのものは基本情報でないなら「信じ込まなくてかつ可笑しない」ということは誤っている fact8: もし仮にこの運転前は母子家庭であるということはないけど売り込むとしたら「この外部市場はＷＡＳＰでない」ということは正しい fact9: 仮にこの運転前が母子家庭でなくてまたそれが売り込まないとすればこの外部市場はＷＡＳＰでない fact10: もし仮に「あるものは信じ込む」ということは確かであるならば「話し易くないけどＷＡＳＰである」ということは偽だ fact11: その資生堂フィティットは母子家庭でない fact12: もしもこの外部市場がＷＡＳＰでないならあの螺旋状はやくざっぽい fact13: もし仮にこの運転前はやくざっぽくないとすれば「あの締め切り日は話し易い一方でＷＡＳＰでない」ということは確かでない fact14: もしも「この運転前は終助詞である」ということは真実であるなら「あの締め切り日は終助詞である」ということは正しい fact15: 「もしも「とある物は信じ込むということはなくてそれは可笑しない」ということは成り立つということはないとするとそれは信じ込む」ということは成り立つ fact16: 「この運転前は話し易いということはない」ということは本当だ fact17: もし仮に「あるものは話し易くないけれどＷＡＳＰだ」ということは誤りだとしたらそれはやくざっぽくない fact18: あの螺旋状は母子家庭だ fact19: 「あの締め切り日は話し易くない」ということは真実だとするとこの運転前は売り込まない ; $hypothesis$ = あの螺旋状はやくざっぽい ; $proof$ = 
fact6 & fact2 -> int1: 「この運転前は母子家庭でなくて加えて売り込まない」ということは偽であるということはない; int1 & fact9 -> int2: この外部市場はＷＡＳＰであるということはない; int2 & fact12 -> hypothesis; __PROVED__
事実1: もし仮にあの締め切り日が終助詞ならあの螺旋状は基本情報でないし思しくない
事実2: あの締め切り日は話し易くない
事実3: この運転前は売り込まない
事実4: あの締め切り日が売り込まないならこの運転前は話し易い
事実5: もしもあの螺旋状がやくざっぽいということはなくて売り込まないならこの運転前は母子家庭でない
事実6: もしもあの締め切り日が話し易いということはないとしたらこの運転前は母子家庭でないしそれは売り込まない
事実7: 仮に何らかのものは基本情報でないなら「信じ込まなくてかつ可笑しない」ということは誤っている
事実8: もし仮にこの運転前は母子家庭であるということはないけど売り込むとしたら「この外部市場はＷＡＳＰでない」ということは正しい
事実9: 仮にこの運転前が母子家庭でなくてまたそれが売り込まないとすればこの外部市場はＷＡＳＰでない
事実10: もし仮に「あるものは信じ込む」ということは確かであるならば「話し易くないけどＷＡＳＰである」ということは偽だ
事実11: その資生堂フィティットは母子家庭でない
事実12: もしもこの外部市場がＷＡＳＰでないならあの螺旋状はやくざっぽい
事実13: もし仮にこの運転前はやくざっぽくないとすれば「あの締め切り日は話し易い一方でＷＡＳＰでない」ということは確かでない
事実14: もしも「この運転前は終助詞である」ということは真実であるなら「あの締め切り日は終助詞である」ということは正しい
事実15: 「もしも「とある物は信じ込むということはなくてそれは可笑しない」ということは成り立つということはないとするとそれは信じ込む」ということは成り立つ
事実16: 「この運転前は話し易いということはない」ということは本当だ
事実17: もし仮に「あるものは話し易くないけれどＷＡＳＰだ」ということは誤りだとしたらそれはやくざっぽくない
事実18: あの螺旋状は母子家庭だ
事実19: 「あの締め切り日は話し易くない」ということは真実だとするとこの運転前は売り込まない

仮説: あの螺旋状はやくざっぽい
1. 事実6と事実2から、推論1: "「この運転前は母子家庭でなくて加えて売り込まない」ということは偽であるということはない"が導かれる
2. 推論1と事実9から、推論2: "この外部市場はＷＡＳＰであるということはない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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