その長命住宅は水疱だ
fact1: もしもある物が苛々し易いとすればそれは水疱である fact2: もしその言語体系が苛々し易いということはないし加えて騙され易くないならその濃縮液は悪戯目的だ fact3: もしその言語体系が春らしくないとするとその長命住宅は掘削するしその上苛々し易い fact4: その濃縮液は苛々し易いとすると「その長命住宅は水疱でない」ということは正しい fact5: その濃縮液は調べ易くないし加えてそれは地域高齢者住宅計画でない fact6: この飲料用は騙され易いということはない fact7: その言語体系は酔い易くないしおまけにローテーションするということはない fact8: その言語体系は苛々し易い fact9: もしその言語体系が騙され易いということはないものでありその上悪戯目的でないならばあの濃縮液は苛々し易い fact10: その長命住宅は運び易くないしその上美しない fact11: もし仮にその言語体系が水疱であるとするとその長命住宅は悪戯目的でない fact12: 「その濃縮液は悪戯目的である」ということは真実だ fact13: 見出しセルは補給しないか意義付けるかあるいはどちらもである fact14: その言語体系は騙され易くないしかつ悪戯目的でない fact15: 何かは補給しないかもしくは意義付けるかあるいはどちらもであるとしたらそれは和める fact16: その言語体系が悪戯目的だということはなくてまた水疱でないとすればあの長命住宅は騙され易い fact17: 仮にその言語体系が騙され易いけど悪戯目的でないとするとその濃縮液は苛々し易い fact18: あのビジネスマン達は悪戯目的でない fact19: もし「とあるものは下取りでないが春らしい」ということは成り立たないとしたらそれは春らしくない fact20: もしもその濃縮液は和めるとすると「その言語体系は下取りでない一方で春らしい」ということは成り立たない fact21: もし仮にその言語体系が騙され易くないけれど悪戯目的ならばあの濃縮液は苛々し易い
fact9 & fact14 -> int1: その濃縮液は苛々し易い; int1 & fact4 -> hypothesis;
fact9 & fact14 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
その長命住宅は水疱だ
fact22 -> int2: もし仮にその長命住宅が苛々し易いとしたら水疱である; fact26 -> int3: もし「その言語体系は下取りでない一方で春らしい」ということは誤りであるとしたらそれは春らしくない; fact27 -> int4: 仮にその濃縮液は補給しないかまたは意義付けるか両方ともであるならば和める; fact25 -> int5: その濃縮液が見出しセルなら補給するということはないかまたはそれは意義付けるかまたはどちらもである;
$facts$ = fact1: もしもある物が苛々し易いとすればそれは水疱である fact2: もしその言語体系が苛々し易いということはないし加えて騙され易くないならその濃縮液は悪戯目的だ fact3: もしその言語体系が春らしくないとするとその長命住宅は掘削するしその上苛々し易い fact4: その濃縮液は苛々し易いとすると「その長命住宅は水疱でない」ということは正しい fact5: その濃縮液は調べ易くないし加えてそれは地域高齢者住宅計画でない fact6: この飲料用は騙され易いということはない fact7: その言語体系は酔い易くないしおまけにローテーションするということはない fact8: その言語体系は苛々し易い fact9: もしその言語体系が騙され易いということはないものでありその上悪戯目的でないならばあの濃縮液は苛々し易い fact10: その長命住宅は運び易くないしその上美しない fact11: もし仮にその言語体系が水疱であるとするとその長命住宅は悪戯目的でない fact12: 「その濃縮液は悪戯目的である」ということは真実だ fact13: 見出しセルは補給しないか意義付けるかあるいはどちらもである fact14: その言語体系は騙され易くないしかつ悪戯目的でない fact15: 何かは補給しないかもしくは意義付けるかあるいはどちらもであるとしたらそれは和める fact16: その言語体系が悪戯目的だということはなくてまた水疱でないとすればあの長命住宅は騙され易い fact17: 仮にその言語体系が騙され易いけど悪戯目的でないとするとその濃縮液は苛々し易い fact18: あのビジネスマン達は悪戯目的でない fact19: もし「とあるものは下取りでないが春らしい」ということは成り立たないとしたらそれは春らしくない fact20: もしもその濃縮液は和めるとすると「その言語体系は下取りでない一方で春らしい」ということは成り立たない fact21: もし仮にその言語体系が騙され易くないけれど悪戯目的ならばあの濃縮液は苛々し易い ; $hypothesis$ = その長命住宅は水疱だ ; $proof$ = 
fact9 & fact14 -> int1: その濃縮液は苛々し易い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもある物が苛々し易いとすればそれは水疱である
事実2: もしその言語体系が苛々し易いということはないし加えて騙され易くないならその濃縮液は悪戯目的だ
事実3: もしその言語体系が春らしくないとするとその長命住宅は掘削するしその上苛々し易い
事実4: その濃縮液は苛々し易いとすると「その長命住宅は水疱でない」ということは正しい
事実5: その濃縮液は調べ易くないし加えてそれは地域高齢者住宅計画でない
事実6: この飲料用は騙され易いということはない
事実7: その言語体系は酔い易くないしおまけにローテーションするということはない
事実8: その言語体系は苛々し易い
事実9: もしその言語体系が騙され易いということはないものでありその上悪戯目的でないならばあの濃縮液は苛々し易い
事実10: その長命住宅は運び易くないしその上美しない
事実11: もし仮にその言語体系が水疱であるとするとその長命住宅は悪戯目的でない
事実12: 「その濃縮液は悪戯目的である」ということは真実だ
事実13: 見出しセルは補給しないか意義付けるかあるいはどちらもである
事実14: その言語体系は騙され易くないしかつ悪戯目的でない
事実15: 何かは補給しないかもしくは意義付けるかあるいはどちらもであるとしたらそれは和める
事実16: その言語体系が悪戯目的だということはなくてまた水疱でないとすればあの長命住宅は騙され易い
事実17: 仮にその言語体系が騙され易いけど悪戯目的でないとするとその濃縮液は苛々し易い
事実18: あのビジネスマン達は悪戯目的でない
事実19: もし「とあるものは下取りでないが春らしい」ということは成り立たないとしたらそれは春らしくない
事実20: もしもその濃縮液は和めるとすると「その言語体系は下取りでない一方で春らしい」ということは成り立たない
事実21: もし仮にその言語体系が騙され易くないけれど悪戯目的ならばあの濃縮液は苛々し易い

仮説: その長命住宅は水疱だ
1. 事実9と事実14から、推論1: "その濃縮液は苛々し易い"が導かれる
2. 推論1と事実4から、仮説が否定される

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