あのファン牌は悲鳴染みる
fact1: もしもその鰐が相提携するとしたら淡い fact2: もしなにがしかのものが相提携するとしたらそれは淡い fact3: 淡いということはないものは妥結しなくてかつ相提携しない fact4: もしとある物が妥結するならその鰐は相提携するかもしくは押し当てないか両方だ fact5: 仮になにがしかの物が悲鳴染みないし蒲焼きでないとすれば淡くない fact6: 「淡い」物があるならばあのファン牌は押し当てるかあるいは悲鳴染みないか両方である fact7: 「妥結する」ものはある fact8: 「誇り得る」物はある fact9: あのファン牌は相提携するかまたは悲鳴染みるかあるいは両方ともである fact10: 仮にその鰐が淡いならあのファン牌は悲鳴染みる fact11: 仮になんらかの物が相提携するかあるいは押し当てないか両方ならばそれは淡い fact12: もしなにがしかの物が相提携しなくておまけに妥結しないとするとそれは悲鳴染みない fact13: もしも何かは押し当てないなら相提携しなくてかつ妥結しない fact14: 「ベンベスター空賊団である」ものはある
fact7 & fact4 -> int1: その鰐は相提携するかそれは押し当てないかもしくはどちらもである; fact11 -> int2: その鰐が相提携するかまたは押し当てるということはないかあるいは両方ともであるなら淡い; int1 & int2 -> int3: その鰐は淡い; int3 & fact10 -> hypothesis;
fact7 & fact4 -> int1: ({B}{a} v ¬{C}{a}); fact11 -> int2: ({B}{a} v ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; int3 & fact10 -> hypothesis;
「そのウォンボーは押し当てる」ということは事実だ
fact16 -> int4: その鰐が淡くないならそれは妥結しなくてそれに相提携しない; fact15 -> int5: もし仮にあのファン牌が悲鳴染みないしそれは蒲焼きでないなら淡いということはない;
$facts$ = fact1: もしもその鰐が相提携するとしたら淡い fact2: もしなにがしかのものが相提携するとしたらそれは淡い fact3: 淡いということはないものは妥結しなくてかつ相提携しない fact4: もしとある物が妥結するならその鰐は相提携するかもしくは押し当てないか両方だ fact5: 仮になにがしかの物が悲鳴染みないし蒲焼きでないとすれば淡くない fact6: 「淡い」物があるならばあのファン牌は押し当てるかあるいは悲鳴染みないか両方である fact7: 「妥結する」ものはある fact8: 「誇り得る」物はある fact9: あのファン牌は相提携するかまたは悲鳴染みるかあるいは両方ともである fact10: 仮にその鰐が淡いならあのファン牌は悲鳴染みる fact11: 仮になんらかの物が相提携するかあるいは押し当てないか両方ならばそれは淡い fact12: もしなにがしかの物が相提携しなくておまけに妥結しないとするとそれは悲鳴染みない fact13: もしも何かは押し当てないなら相提携しなくてかつ妥結しない fact14: 「ベンベスター空賊団である」ものはある ; $hypothesis$ = あのファン牌は悲鳴染みる ; $proof$ = 
fact7 & fact4 -> int1: その鰐は相提携するかそれは押し当てないかもしくはどちらもである; fact11 -> int2: その鰐が相提携するかまたは押し当てるということはないかあるいは両方ともであるなら淡い; int1 & int2 -> int3: その鰐は淡い; int3 & fact10 -> hypothesis; __PROVED__
事実1: もしもその鰐が相提携するとしたら淡い
事実2: もしなにがしかのものが相提携するとしたらそれは淡い
事実3: 淡いということはないものは妥結しなくてかつ相提携しない
事実4: もしとある物が妥結するならその鰐は相提携するかもしくは押し当てないか両方だ
事実5: 仮になにがしかの物が悲鳴染みないし蒲焼きでないとすれば淡くない
事実6: 「淡い」物があるならばあのファン牌は押し当てるかあるいは悲鳴染みないか両方である
事実7: 「妥結する」ものはある
事実8: 「誇り得る」物はある
事実9: あのファン牌は相提携するかまたは悲鳴染みるかあるいは両方ともである
事実10: 仮にその鰐が淡いならあのファン牌は悲鳴染みる
事実11: 仮になんらかの物が相提携するかあるいは押し当てないか両方ならばそれは淡い
事実12: もしなにがしかの物が相提携しなくておまけに妥結しないとするとそれは悲鳴染みない
事実13: もしも何かは押し当てないなら相提携しなくてかつ妥結しない
事実14: 「ベンベスター空賊団である」ものはある

仮説: あのファン牌は悲鳴染みる
1. 事実7と事実4から、推論1: "その鰐は相提携するかそれは押し当てないかもしくはどちらもである"が導かれる
2. 事実11から、推論2: "その鰐が相提携するかまたは押し当てるということはないかあるいは両方ともであるなら淡い"が導かれる
3. 推論1と推論2から、推論3: "その鰐は淡い"が導かれる
4. 推論3と事実10から、仮説が導かれる

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