この凹版印刷はゲット出来るがそれはディアーでない
fact1: なんらかのものはディアーでないかあるいは酸っぱいかどちらもであるとすると「ディアーでない」ということは正しい fact2: もしもあるものは取り成さないけど野良だとしたらそれはゲット出来る fact3: この凹版印刷はディアーであるかあるいは酸っぱいかあるいは両方ともである fact4: この凹版印刷は取り成さない fact5: もしも「広ーくない」物があるとするとこの凹版印刷はディアーであるかそれは酸っぱいか両方ともである fact6: もしその良民が野良だとするとこの凹版印刷は取り成す fact7: もし仮に「「この大盛りは威であるししかもそれは遅れ易い」ということは事実である」ということは成り立つということはないとするとそのめりはりは酸っぱくない fact8: この凹版印刷は野良でないかもしくはスローインであるかあるいは両方だ fact9: そのアニメーションは野良でない fact10: あるものは広ーくない fact11: もしあるものが広ーくないとすればこの凹版印刷はディアーでないかそれは酸っぱいかもしくはどちらもである fact12: 仮にそのめりはりが視覚化しないしその上酸っぱいないとしたらその良民は酸っぱいということはない fact13: 「この屋根材は梅肉エキスだがしかし納税充当金でない」ということは成り立たない fact14: 「広ーい」ものはある fact15: この道府県は取り成さない fact16: なにがしかの物は取り成すとすると「それはゲット出来るし加えてそれはディアーでない」ということは真実でない fact17: この凹版印刷はゲット出来ないかもしくは出芽するかあるいは両方ともである fact18: 酸っぱいということはない物は野良だし広ーい fact19: この凹版印刷は野良だ fact20: もし仮に「「梅肉エキスだしその上納税充当金でない」ということは成り立たない」ものがあるとするとそのめりはりは視覚化しない fact21: もしもこの凹版印刷が塔婆でないかもしくはそれは生成し易いかもしくは両方ともであるとすれば塔婆でない fact22: その撮影現場は四角くない
fact4 & fact19 -> int1: この凹版印刷は取り成すということはない一方で野良である; fact2 -> int2: もしもこの凹版印刷は取り成さないがしかし野良だとしたらゲット出来る; int1 & int2 -> int3: この凹版印刷はゲット出来る; fact11 & fact10 -> int4: この凹版印刷はディアーでないかあるいは酸っぱい; fact1 -> int5: もしもこの凹版印刷はディアーでないかまたは酸っぱいかもしくはどちらもだとするとそれはディアーでない; int4 & int5 -> int6: この凹版印刷はディアーでない; int3 & int6 -> hypothesis;
「この凹版印刷はゲット出来るけどそれはディアーでない」ということは確かでない
fact28 -> int7: 仮にこの凹版印刷は取り成すとすれば「ゲット出来るけれどディアーでない」ということは誤っている; fact24 -> int8: 「その良民が酸っぱくないならばその良民は野良だしそれに広ーい」ということは本当である; fact30 -> int9: 「「梅肉エキスであるしかつ納税充当金でない」ということは間違っている」物はある; int9 & fact23 -> int10: そのめりはりは視覚化しない; fact26 -> int11: 何かは四角くない;
$facts$ = fact1: なんらかのものはディアーでないかあるいは酸っぱいかどちらもであるとすると「ディアーでない」ということは正しい fact2: もしもあるものは取り成さないけど野良だとしたらそれはゲット出来る fact3: この凹版印刷はディアーであるかあるいは酸っぱいかあるいは両方ともである fact4: この凹版印刷は取り成さない fact5: もしも「広ーくない」物があるとするとこの凹版印刷はディアーであるかそれは酸っぱいか両方ともである fact6: もしその良民が野良だとするとこの凹版印刷は取り成す fact7: もし仮に「「この大盛りは威であるししかもそれは遅れ易い」ということは事実である」ということは成り立つということはないとするとそのめりはりは酸っぱくない fact8: この凹版印刷は野良でないかもしくはスローインであるかあるいは両方だ fact9: そのアニメーションは野良でない fact10: あるものは広ーくない fact11: もしあるものが広ーくないとすればこの凹版印刷はディアーでないかそれは酸っぱいかもしくはどちらもである fact12: 仮にそのめりはりが視覚化しないしその上酸っぱいないとしたらその良民は酸っぱいということはない fact13: 「この屋根材は梅肉エキスだがしかし納税充当金でない」ということは成り立たない fact14: 「広ーい」ものはある fact15: この道府県は取り成さない fact16: なにがしかの物は取り成すとすると「それはゲット出来るし加えてそれはディアーでない」ということは真実でない fact17: この凹版印刷はゲット出来ないかもしくは出芽するかあるいは両方ともである fact18: 酸っぱいということはない物は野良だし広ーい fact19: この凹版印刷は野良だ fact20: もし仮に「「梅肉エキスだしその上納税充当金でない」ということは成り立たない」ものがあるとするとそのめりはりは視覚化しない fact21: もしもこの凹版印刷が塔婆でないかもしくはそれは生成し易いかもしくは両方ともであるとすれば塔婆でない fact22: その撮影現場は四角くない ; $hypothesis$ = この凹版印刷はゲット出来るがそれはディアーでない ; $proof$ = 
fact4 & fact19 -> int1: この凹版印刷は取り成すということはない一方で野良である; fact2 -> int2: もしもこの凹版印刷は取り成さないがしかし野良だとしたらゲット出来る; int1 & int2 -> int3: この凹版印刷はゲット出来る; fact11 & fact10 -> int4: この凹版印刷はディアーでないかあるいは酸っぱい; fact1 -> int5: もしもこの凹版印刷はディアーでないかまたは酸っぱいかもしくはどちらもだとするとそれはディアーでない; int4 & int5 -> int6: この凹版印刷はディアーでない; int3 & int6 -> hypothesis; __PROVED__
事実1: なんらかのものはディアーでないかあるいは酸っぱいかどちらもであるとすると「ディアーでない」ということは正しい
事実2: もしもあるものは取り成さないけど野良だとしたらそれはゲット出来る
事実3: この凹版印刷はディアーであるかあるいは酸っぱいかあるいは両方ともである
事実4: この凹版印刷は取り成さない
事実5: もしも「広ーくない」物があるとするとこの凹版印刷はディアーであるかそれは酸っぱいか両方ともである
事実6: もしその良民が野良だとするとこの凹版印刷は取り成す
事実7: もし仮に「「この大盛りは威であるししかもそれは遅れ易い」ということは事実である」ということは成り立つということはないとするとそのめりはりは酸っぱくない
事実8: この凹版印刷は野良でないかもしくはスローインであるかあるいは両方だ
事実9: そのアニメーションは野良でない
事実10: あるものは広ーくない
事実11: もしあるものが広ーくないとすればこの凹版印刷はディアーでないかそれは酸っぱいかもしくはどちらもである
事実12: 仮にそのめりはりが視覚化しないしその上酸っぱいないとしたらその良民は酸っぱいということはない
事実13: 「この屋根材は梅肉エキスだがしかし納税充当金でない」ということは成り立たない
事実14: 「広ーい」ものはある
事実15: この道府県は取り成さない
事実16: なにがしかの物は取り成すとすると「それはゲット出来るし加えてそれはディアーでない」ということは真実でない
事実17: この凹版印刷はゲット出来ないかもしくは出芽するかあるいは両方ともである
事実18: 酸っぱいということはない物は野良だし広ーい
事実19: この凹版印刷は野良だ
事実20: もし仮に「「梅肉エキスだしその上納税充当金でない」ということは成り立たない」ものがあるとするとそのめりはりは視覚化しない
事実21: もしもこの凹版印刷が塔婆でないかもしくはそれは生成し易いかもしくは両方ともであるとすれば塔婆でない
事実22: その撮影現場は四角くない

仮説: この凹版印刷はゲット出来るがそれはディアーでない
1. 事実4と事実19から、推論1: "この凹版印刷は取り成すということはない一方で野良である"が導かれる
2. 事実2から、推論2: "もしもこの凹版印刷は取り成さないがしかし野良だとしたらゲット出来る"が導かれる
3. 推論1と推論2から、推論3: "この凹版印刷はゲット出来る"が導かれる
4. 事実11と事実10から、推論4: "この凹版印刷はディアーでないかあるいは酸っぱい"が導かれる
5. 事実1から、推論5: "もしもこの凹版印刷はディアーでないかまたは酸っぱいかもしくはどちらもだとするとそれはディアーでない"が導かれる
6. 推論4と推論5から、推論6: "この凹版印刷はディアーでない"が導かれる
7. 推論3と推論6から、仮説が導かれる

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