あのねぶた祭りは投石しない
fact1: 仮に「政治闘争でない」物があるならばあの高松塚は刻苦勉励するけれど事業継続管理でない fact2: もしもあの平均主義的賃金制度が刻苦勉励しないならその肯定的表現は刻苦勉励するがしかし稼げない fact3: もしもあの平均主義的賃金制度は政治闘争であるならば刻苦勉励しない fact4: 「もしこの二週間以内は御理解頂ける一方で文庫出版であるということはないなら「あのねぶた祭りは慌ただしくない」ということは成り立つ」ということは成り立つ fact5: とあるものが途切らせるかどうして良くないなら「途切らせる」ということは本当だ fact6: グリーンアスパラガスは御理解頂けるが文庫出版だということはない fact7: もし仮にあのねぶた祭りが慌ただしくないならその肯定的表現は途切らせるかどうして良くないかもしくは両方ともだ fact8: 仮になにがしかのものが稼げるけどそれが投石するということはないとすればあの平均主義的賃金制度は政治闘争でない fact9: 仮になにがしかの物が途切らせるならそれは稼げるしさらに投石しない fact10: あの平均主義的賃金制度は政治闘争だ fact11: 仮にその肯定的表現が刻苦勉励するがしかしそれが稼げないとするとあのねぶた祭りは投石しない
fact3 & fact10 -> int1: あの平均主義的賃金制度は刻苦勉励しない; int1 & fact2 -> int2: その肯定的表現は刻苦勉励するがそれは稼げない; int2 & fact11 -> hypothesis;
fact3 & fact10 -> int1: ¬{B}{a}; int1 & fact2 -> int2: ({B}{b} & ¬{C}{b}); int2 & fact11 -> hypothesis;
この高松塚は刻苦勉励するがしかし事業継続管理でない
fact17 -> int3: もしその肯定的表現が途切らせるとすれば稼げるけど投石しない; fact12 -> int4: もしもその肯定的表現が途切らせるかどうして良くないかもしくはどちらもであるとすると途切らせる; fact18 -> int5: この二週間以内がグリーンアスパラガスなら御理解頂ける一方で文庫出版でない;
$facts$ = fact1: 仮に「政治闘争でない」物があるならばあの高松塚は刻苦勉励するけれど事業継続管理でない fact2: もしもあの平均主義的賃金制度が刻苦勉励しないならその肯定的表現は刻苦勉励するがしかし稼げない fact3: もしもあの平均主義的賃金制度は政治闘争であるならば刻苦勉励しない fact4: 「もしこの二週間以内は御理解頂ける一方で文庫出版であるということはないなら「あのねぶた祭りは慌ただしくない」ということは成り立つ」ということは成り立つ fact5: とあるものが途切らせるかどうして良くないなら「途切らせる」ということは本当だ fact6: グリーンアスパラガスは御理解頂けるが文庫出版だということはない fact7: もし仮にあのねぶた祭りが慌ただしくないならその肯定的表現は途切らせるかどうして良くないかもしくは両方ともだ fact8: 仮になにがしかのものが稼げるけどそれが投石するということはないとすればあの平均主義的賃金制度は政治闘争でない fact9: 仮になにがしかの物が途切らせるならそれは稼げるしさらに投石しない fact10: あの平均主義的賃金制度は政治闘争だ fact11: 仮にその肯定的表現が刻苦勉励するがしかしそれが稼げないとするとあのねぶた祭りは投石しない ; $hypothesis$ = あのねぶた祭りは投石しない ; $proof$ = 
fact3 & fact10 -> int1: あの平均主義的賃金制度は刻苦勉励しない; int1 & fact2 -> int2: その肯定的表現は刻苦勉励するがそれは稼げない; int2 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「政治闘争でない」物があるならばあの高松塚は刻苦勉励するけれど事業継続管理でない
事実2: もしもあの平均主義的賃金制度が刻苦勉励しないならその肯定的表現は刻苦勉励するがしかし稼げない
事実3: もしもあの平均主義的賃金制度は政治闘争であるならば刻苦勉励しない
事実4: 「もしこの二週間以内は御理解頂ける一方で文庫出版であるということはないなら「あのねぶた祭りは慌ただしくない」ということは成り立つ」ということは成り立つ
事実5: とあるものが途切らせるかどうして良くないなら「途切らせる」ということは本当だ
事実6: グリーンアスパラガスは御理解頂けるが文庫出版だということはない
事実7: もし仮にあのねぶた祭りが慌ただしくないならその肯定的表現は途切らせるかどうして良くないかもしくは両方ともだ
事実8: 仮になにがしかのものが稼げるけどそれが投石するということはないとすればあの平均主義的賃金制度は政治闘争でない
事実9: 仮になにがしかの物が途切らせるならそれは稼げるしさらに投石しない
事実10: あの平均主義的賃金制度は政治闘争だ
事実11: 仮にその肯定的表現が刻苦勉励するがしかしそれが稼げないとするとあのねぶた祭りは投石しない

仮説: あのねぶた祭りは投石しない
1. 事実3と事実10から、推論1: "あの平均主義的賃金制度は刻苦勉励しない"が導かれる
2. 推論1と事実2から、推論2: "その肯定的表現は刻苦勉励するがそれは稼げない"が導かれる
3. 推論2と事実11から、仮説が導かれる

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