あの花火大会は安っぽいということはない
fact1: あの花火大会はＩＦＯＲでない fact2: あの花火大会が懐かしいということはないとすると祈り続けない fact3: もし仮にあの花火大会が対抗するかあるいは祈り続けないかもしくは両方だとするとその保守点検は安っぽくない fact4: もしもあの花火大会が祈り続けないとしたらそれは安っぽくない fact5: その保守点検は物凄ーいかあるいは対抗しないかまたは両方ともだ fact6: もし仮にあの情報サービス業は懐かしくないならば「あの花火大会は行革するし懐かしい」ということは間違いだ fact7: あの花火大会は物凄ーくない fact8: 「あの花火大会は行革するしおまけに懐かしい」ということは成り立たないとしたらそれは祈り続けない fact9: 仮にその保守点検が物凄ーいかあるいはそれが対抗しないかまたは両方だとするとあの情報サービス業は懐かしくない fact10: もしその保守点検が物凄ーいならばあの情報サービス業は懐かしくない
fact9 & fact5 -> int1: あの情報サービス業は懐かしくない; int1 & fact6 -> int2: 「あの花火大会は行革するし懐かしい」ということは誤りだ; int2 & fact8 -> int3: あの花火大会は祈り続けない; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの花火大会はＩＦＯＲでない fact2: あの花火大会が懐かしいということはないとすると祈り続けない fact3: もし仮にあの花火大会が対抗するかあるいは祈り続けないかもしくは両方だとするとその保守点検は安っぽくない fact4: もしもあの花火大会が祈り続けないとしたらそれは安っぽくない fact5: その保守点検は物凄ーいかあるいは対抗しないかまたは両方ともだ fact6: もし仮にあの情報サービス業は懐かしくないならば「あの花火大会は行革するし懐かしい」ということは間違いだ fact7: あの花火大会は物凄ーくない fact8: 「あの花火大会は行革するしおまけに懐かしい」ということは成り立たないとしたらそれは祈り続けない fact9: 仮にその保守点検が物凄ーいかあるいはそれが対抗しないかまたは両方だとするとあの情報サービス業は懐かしくない fact10: もしその保守点検が物凄ーいならばあの情報サービス業は懐かしくない ; $hypothesis$ = あの花火大会は安っぽいということはない ; $proof$ = 
fact9 & fact5 -> int1: あの情報サービス業は懐かしくない; int1 & fact6 -> int2: 「あの花火大会は行革するし懐かしい」ということは誤りだ; int2 & fact8 -> int3: あの花火大会は祈り続けない; int3 & fact4 -> hypothesis; __PROVED__
事実1: あの花火大会はＩＦＯＲでない
事実2: あの花火大会が懐かしいということはないとすると祈り続けない
事実3: もし仮にあの花火大会が対抗するかあるいは祈り続けないかもしくは両方だとするとその保守点検は安っぽくない
事実4: もしもあの花火大会が祈り続けないとしたらそれは安っぽくない
事実5: その保守点検は物凄ーいかあるいは対抗しないかまたは両方ともだ
事実6: もし仮にあの情報サービス業は懐かしくないならば「あの花火大会は行革するし懐かしい」ということは間違いだ
事実7: あの花火大会は物凄ーくない
事実8: 「あの花火大会は行革するしおまけに懐かしい」ということは成り立たないとしたらそれは祈り続けない
事実9: 仮にその保守点検が物凄ーいかあるいはそれが対抗しないかまたは両方だとするとあの情報サービス業は懐かしくない
事実10: もしその保守点検が物凄ーいならばあの情報サービス業は懐かしくない

仮説: あの花火大会は安っぽいということはない
1. 事実9と事実5から、推論1: "あの情報サービス業は懐かしくない"が導かれる
2. 推論1と事実6から、推論2: "「あの花火大会は行革するし懐かしい」ということは誤りだ"が導かれる
3. 推論2と事実8から、推論3: "あの花火大会は祈り続けない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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