そのクレープは大会堂だがしかしそれは僻みっぽくない
fact1: もしも「調節し易いし大会堂でない」物があるとすればそのクレープは可決しない fact2: そのクレープは調節し易いが嘆かわしくない fact3: 「あの香気は調節し易いか可決する」ということは成り立つ fact4: 「しょぼい」ものはある fact5: あの香気は大会堂であるかもしくはアメリカ民主主義だ fact6: もしもあの香気が大会堂だとするとそのクレープは調節し易い fact7: 「しょぼくてかつ大人し」ものはある fact8: 仮にあの香気が調節し易いとするとそのクレープは大会堂である fact9: あの香気は名付け為さるかまたは僻みっぽい fact10: とある物は大人しない fact11: もしもなにかはしょぼい一方でそれは大人しないなら「そのクレープは僻みっぽくない」ということは成り立つ fact12: あの香気が可決するとすればそのクレープは大会堂だ fact13: なにかはしょぼい一方で大人しない fact14: もしもこの大傑作が大人しということはないとすればあの香気は可決しなくて調節し易くない
fact3 & fact8 & fact12 -> int1: そのクレープは大会堂だ; fact11 & fact13 -> int2: そのクレープは僻みっぽくない; int1 & int2 -> hypothesis;
fact3 & fact8 & fact12 -> int1: {C}{c}; fact11 & fact13 -> int2: ¬{D}{c}; int1 & int2 -> hypothesis;
「そのクレープは大会堂だがそれは僻みっぽくない」ということは間違いだ
$facts$ = fact1: もしも「調節し易いし大会堂でない」物があるとすればそのクレープは可決しない fact2: そのクレープは調節し易いが嘆かわしくない fact3: 「あの香気は調節し易いか可決する」ということは成り立つ fact4: 「しょぼい」ものはある fact5: あの香気は大会堂であるかもしくはアメリカ民主主義だ fact6: もしもあの香気が大会堂だとするとそのクレープは調節し易い fact7: 「しょぼくてかつ大人し」ものはある fact8: 仮にあの香気が調節し易いとするとそのクレープは大会堂である fact9: あの香気は名付け為さるかまたは僻みっぽい fact10: とある物は大人しない fact11: もしもなにかはしょぼい一方でそれは大人しないなら「そのクレープは僻みっぽくない」ということは成り立つ fact12: あの香気が可決するとすればそのクレープは大会堂だ fact13: なにかはしょぼい一方で大人しない fact14: もしもこの大傑作が大人しということはないとすればあの香気は可決しなくて調節し易くない ; $hypothesis$ = そのクレープは大会堂だがしかしそれは僻みっぽくない ; $proof$ = 
fact3 & fact8 & fact12 -> int1: そのクレープは大会堂だ; fact11 & fact13 -> int2: そのクレープは僻みっぽくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「調節し易いし大会堂でない」物があるとすればそのクレープは可決しない
事実2: そのクレープは調節し易いが嘆かわしくない
事実3: 「あの香気は調節し易いか可決する」ということは成り立つ
事実4: 「しょぼい」ものはある
事実5: あの香気は大会堂であるかもしくはアメリカ民主主義だ
事実6: もしもあの香気が大会堂だとするとそのクレープは調節し易い
事実7: 「しょぼくてかつ大人し」ものはある
事実8: 仮にあの香気が調節し易いとするとそのクレープは大会堂である
事実9: あの香気は名付け為さるかまたは僻みっぽい
事実10: とある物は大人しない
事実11: もしもなにかはしょぼい一方でそれは大人しないなら「そのクレープは僻みっぽくない」ということは成り立つ
事実12: あの香気が可決するとすればそのクレープは大会堂だ
事実13: なにかはしょぼい一方で大人しない
事実14: もしもこの大傑作が大人しということはないとすればあの香気は可決しなくて調節し易くない

仮説: そのクレープは大会堂だがしかしそれは僻みっぽくない
1. 事実3と事実8と事実12から、推論1: "そのクレープは大会堂だ"が導かれる
2. 事実11と事実13から、推論2: "そのクレープは僻みっぽくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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