その予言者は薄い一方で凝固しない
fact1: もし仮にその三夜が顧客情報だしそれに連帯保証すればその赤煉瓦は存続中でない fact2: もし何かは手向けるということはないとしたら説明し易くて若上人である fact3: その赤煉瓦は顧客情報でない一方でそれは存続中である fact4: その赤煉瓦は顧客情報でない fact5: その赤煉瓦は形成し易いがしかし造墓でないとすれば「その予言者は連帯保証する」ということは成り立つ fact6: もしもあるものが連帯保証するとすればそれは薄いしそれは凝固するということはない fact7: あのクリーンルームは気付き難い fact8: 仮にその太夫が眠たいならばそのローリスクは眠たい fact9: 仮になにかはリッターだとしたらそれは眠たい fact10: 仮にとあるものが眠たくないならばそれは基本年金であるということはないしそれに受け合う fact11: もし仮にその寡婦が説明し易いならその太夫は説明し易い fact12: もし仮にその赤煉瓦が顧客情報でないけど存続中だとしたらその三夜は連帯保証しない fact13: 仮に「ある物は終了タグでないがしかし区分所有等である」ということは偽ならばそれはリッターである fact14: もしもその三夜が基本年金でないけれど受け合うとすればその赤煉瓦は基本年金でない fact15: もし仮にそのローリスクが眠たいとしたらあの結晶体は眠たい fact16: もしもその三夜は連帯保証しないとしたら「その予言者は薄い一方で凝固しない」ということは間違いである fact17: もし仮にとあるものは基本年金であるということはないとすると形成し易いけれど造墓でない fact18: もしあのクリーンルームが気付き難いとすればそれはいがらっぽい fact19: 仮にあのクリーンルームがいがらっぽくて手向けるならばあの寡婦は手向けるということはない fact20: もしあの結晶体が眠たいとするとその三夜は眠たくない fact21: もし仮にその三夜が連帯保証するし更にそれが顧客情報ならばその赤煉瓦は存続中でない fact22: もし仮にとあるものは説明し易いならば「それは終了タグでないし区分所有等だ」ということは誤っている
fact12 & fact3 -> int1: その三夜は連帯保証するということはない; int1 & fact16 -> hypothesis;
fact12 & fact3 -> int1: ¬{B}{b}; int1 & fact16 -> hypothesis;
その予言者は薄いがしかしそれは凝固しない
fact30 -> int2: もしその予言者は連帯保証するとすれば「それは薄いけど凝固しない」ということは確かだ; fact36 -> int3: もしその赤煉瓦が基本年金だということはないならば形成し易いが造墓であるということはない; fact35 -> int4: もしその三夜が眠たくないとしたらそれは基本年金でないしかつ受け合う; fact37 -> int5: 「その太夫はリッターである」ということは事実だとすればそれは眠たい; fact32 -> int6: 「その太夫は終了タグでないが区分所有等である」ということは成り立たないとするとそれはリッターである; fact24 -> int7: もしその太夫は説明し易いとすれば「終了タグでないししかもそれは区分所有等だ」ということは誤っている; fact27 -> int8: その寡婦が手向けるということはないとしたら説明し易くてそれに若上人である; fact23 & fact29 -> int9: 「あのクリーンルームはいがらっぽい」ということは本当である;
$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$ = 
fact12 & fact3 -> int1: その三夜は連帯保証するということはない; int1 & fact16 -> 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. 事実12と事実3から、推論1: "その三夜は連帯保証するということはない"が導かれる
2. 推論1と事実16から、仮説が否定される

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