このデッキは齎し易い
fact1: この休耕田は親しい fact2: 「その主宰は相談する」ということは偽でない fact3: 「その挿入は相談する」ということは偽でない fact4: もしもこのデッキが悲しくてそれが話し込むとすればそれは齎し易い fact5: もし仮にあの生分解がねちっこいならばその焼き鳥屋は話し込む fact6: もし仮に「この休耕田はねちっこい」ということは真実ならあの生分解はメンテナンスでないがねちっこい fact7: この休耕田が親しいならば悲しくないがしかし明きである fact8: 仮にその焼き鳥屋が話し込むならばあのデッキは悲しいけど話し込むということはない fact9: もしその挿入は相談するとすれば「この休耕田はねちっこい」ということは正しい fact10: もし仮に「この休耕田は悲しくない」ということは事実だとしたら齎し易いかあるいはメンテナンスでない fact11: もし仮にこのデッキが悲しいがそれは話し込まないとしたら齎し易い
fact9 & fact3 -> int1: 「この休耕田はねちっこい」ということは正しい; int1 & fact6 -> int2: あの生分解はメンテナンスでないがそれはねちっこい; int2 -> int3: あの生分解はねちっこい; int3 & fact5 -> int4: その焼き鳥屋は話し込む; int4 & fact8 -> int5: このデッキは悲しい一方でそれは話し込まない; int5 & fact11 -> hypothesis;
その挿入は話し込む
fact14 & fact13 -> int6: この休耕田は悲しいということはないがしかし明きである; int6 -> int7: この休耕田は悲しいということはない; fact12 & int7 -> int8: この休耕田は齎し易いかもしくはメンテナンスでないかまたはどちらもである;
$facts$ = fact1: この休耕田は親しい fact2: 「その主宰は相談する」ということは偽でない fact3: 「その挿入は相談する」ということは偽でない fact4: もしもこのデッキが悲しくてそれが話し込むとすればそれは齎し易い fact5: もし仮にあの生分解がねちっこいならばその焼き鳥屋は話し込む fact6: もし仮に「この休耕田はねちっこい」ということは真実ならあの生分解はメンテナンスでないがねちっこい fact7: この休耕田が親しいならば悲しくないがしかし明きである fact8: 仮にその焼き鳥屋が話し込むならばあのデッキは悲しいけど話し込むということはない fact9: もしその挿入は相談するとすれば「この休耕田はねちっこい」ということは正しい fact10: もし仮に「この休耕田は悲しくない」ということは事実だとしたら齎し易いかあるいはメンテナンスでない fact11: もし仮にこのデッキが悲しいがそれは話し込まないとしたら齎し易い ; $hypothesis$ = このデッキは齎し易い ; $proof$ = 
fact9 & fact3 -> int1: 「この休耕田はねちっこい」ということは正しい; int1 & fact6 -> int2: あの生分解はメンテナンスでないがそれはねちっこい; int2 -> int3: あの生分解はねちっこい; int3 & fact5 -> int4: その焼き鳥屋は話し込む; int4 & fact8 -> int5: このデッキは悲しい一方でそれは話し込まない; int5 & fact11 -> hypothesis; __PROVED__
事実1: この休耕田は親しい
事実2: 「その主宰は相談する」ということは偽でない
事実3: 「その挿入は相談する」ということは偽でない
事実4: もしもこのデッキが悲しくてそれが話し込むとすればそれは齎し易い
事実5: もし仮にあの生分解がねちっこいならばその焼き鳥屋は話し込む
事実6: もし仮に「この休耕田はねちっこい」ということは真実ならあの生分解はメンテナンスでないがねちっこい
事実7: この休耕田が親しいならば悲しくないがしかし明きである
事実8: 仮にその焼き鳥屋が話し込むならばあのデッキは悲しいけど話し込むということはない
事実9: もしその挿入は相談するとすれば「この休耕田はねちっこい」ということは正しい
事実10: もし仮に「この休耕田は悲しくない」ということは事実だとしたら齎し易いかあるいはメンテナンスでない
事実11: もし仮にこのデッキが悲しいがそれは話し込まないとしたら齎し易い

仮説: このデッキは齎し易い
1. 事実9と事実3から、推論1: "「この休耕田はねちっこい」ということは正しい"が導かれる
2. 推論1と事実6から、推論2: "あの生分解はメンテナンスでないがそれはねちっこい"が導かれる
3. 推論2から、推論3: "あの生分解はねちっこい"が導かれる
4. 推論3と事実5から、推論4: "その焼き鳥屋は話し込む"が導かれる
5. 推論4と事実8から、推論5: "このデッキは悲しい一方でそれは話し込まない"が導かれる
6. 推論5と事実11から、仮説が導かれる

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