「この高断熱・高気密は厳くないしそれは紫雲でない」ということは成り立たない
fact1: 「「生まれ難くなくてかつおっかしい」ということは成り立たない」物はある fact2: この高断熱・高気密はとろ臭くないし紫雲でない fact3: 「あの指定正味財産は生まれ難くない」ということは事実である fact4: 発揮し難いものは厳いということはないし加えて紫雲でない fact5: この高断熱・高気密は再審査する fact6: もしなにがしかのものは発揮し難いとすると「それは紫雲であるということはない」ということは成り立つ fact7: あの井はとろ臭いしそれは出荷量である fact8: もしこの高断熱・高気密が発揮し難いとするとそれは紫雲でない fact9: この高断熱・高気密は出荷量だ fact10: もし仮にあの井が譲歩するなら出荷量だ fact11: もし仮になんらかのものはとろ臭いならば「厳くないし紫雲でない」ということは成り立たない fact12: 仮に「あの指定正味財産は生まれ難くない」ということは誤りでないとすれば「それがおっかしくないしその上酸っぱいということはない」ということは事実と異なる fact13: とあるものが譲歩すればそれは発揮し難い fact14: あの井は気恥ずかしいということはなくて加えて倒さない fact15: もしあの井がとろ臭いならこの高断熱・高気密は発揮し難い fact16: この高断熱・高気密は済ま無い fact17: あの井は厳い fact18: もし仮にあの指定正味財産が発揮し難いとするとあの井は出荷量でないかとろ臭くないかまたは両方ともである fact19: あの井は出荷量だ fact20: 仮にあの指定正味財産が酸っぱいとすればそれは譲歩する fact21: この高断熱・高気密は紫雲でない fact22: あの写真帳は発揮し難い
fact7 -> int1: あの井はとろ臭い; int1 & fact15 -> int2: この高断熱・高気密は発揮し難い; fact4 -> int3: もしもこの高断熱・高気密が発揮し難いならばそれは厳くないし紫雲でない; int2 & int3 -> hypothesis;
「「この高断熱・高気密は厳くないし紫雲でない」ということは事実である」ということは誤りである
fact25 -> int4: 仮にこの高断熱・高気密はとろ臭いとすると「それは厳くないしその上紫雲でない」ということは成り立たない; fact24 & fact23 -> int5: 「あの指定正味財産はおっかしくなくてかつ酸っぱくない」ということは間違っている; int5 -> int6: 「「おっかしくないし酸っぱくない」ということは誤りな」物はある;
$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$ = 
fact7 -> int1: あの井はとろ臭い; int1 & fact15 -> int2: この高断熱・高気密は発揮し難い; fact4 -> int3: もしもこの高断熱・高気密が発揮し難いならばそれは厳くないし紫雲でない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「「生まれ難くなくてかつおっかしい」ということは成り立たない」物はある
事実2: この高断熱・高気密はとろ臭くないし紫雲でない
事実3: 「あの指定正味財産は生まれ難くない」ということは事実である
事実4: 発揮し難いものは厳いということはないし加えて紫雲でない
事実5: この高断熱・高気密は再審査する
事実6: もしなにがしかのものは発揮し難いとすると「それは紫雲であるということはない」ということは成り立つ
事実7: あの井はとろ臭いしそれは出荷量である
事実8: もしこの高断熱・高気密が発揮し難いとするとそれは紫雲でない
事実9: この高断熱・高気密は出荷量だ
事実10: もし仮にあの井が譲歩するなら出荷量だ
事実11: もし仮になんらかのものはとろ臭いならば「厳くないし紫雲でない」ということは成り立たない
事実12: 仮に「あの指定正味財産は生まれ難くない」ということは誤りでないとすれば「それがおっかしくないしその上酸っぱいということはない」ということは事実と異なる
事実13: とあるものが譲歩すればそれは発揮し難い
事実14: あの井は気恥ずかしいということはなくて加えて倒さない
事実15: もしあの井がとろ臭いならこの高断熱・高気密は発揮し難い
事実16: この高断熱・高気密は済ま無い
事実17: あの井は厳い
事実18: もし仮にあの指定正味財産が発揮し難いとするとあの井は出荷量でないかとろ臭くないかまたは両方ともである
事実19: あの井は出荷量だ
事実20: 仮にあの指定正味財産が酸っぱいとすればそれは譲歩する
事実21: この高断熱・高気密は紫雲でない
事実22: あの写真帳は発揮し難い

仮説: 「この高断熱・高気密は厳くないしそれは紫雲でない」ということは成り立たない
1. 事実7から、推論1: "あの井はとろ臭い"が導かれる
2. 推論1と事実15から、推論2: "この高断熱・高気密は発揮し難い"が導かれる
3. 事実4から、推論3: "もしもこの高断熱・高気密が発揮し難いならばそれは厳くないし紫雲でない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。