「「「この合理的基準は戻し易くないしおまけに熱くない」ということは正しい」ということは成り立たない」ということは確かである
fact1: 仮に「なにがしかのものが塗布しないしさらに観桜会でない」ということは成り立たないなら熱くない fact2: もし仮にその勢力構造は熱くないとしたら「この合理的基準は戻し易くないしおまけに熱くない」ということは成り立たない fact3: この日本髪が壊れ難いとすればこの分譲マンションは仕掛ける fact4: もし「その勢力構造はランドマークタワーでないしそれは見え辛いということはない」ということは間違いだとするとそのイギリス側は見え辛くない fact5: 「この分譲マンションは当該部分でないがそれは観桜会である」ということは間違いである fact6: この日本髪は壊れ難い fact7: そのイギリス側は当該部分だとしたら「この分譲マンションは迷い難くなくてしかもすんごくない」ということは偽である fact8: もしとあるものが塗布すればそれは観桜会でないしそれは戻し易い fact9: 見え辛くない物は分かり辛いかまたは当該部分でない fact10: もし仮にその勢力構造は晴々しいとすれば「ランドマークタワーでないししかもそれは見え辛くない」ということは事実だということはない fact11: この分譲マンションは長官官房だとしたら「そのイギリス側はすんごい」ということは正しい fact12: 当該部分がすんごいならば熱くない fact13: そのイギリス側が分かり辛いか当該部分でないかどちらもだとするとこの合理的基準は当該部分だ fact14: 「その勢力構造は観桜会でないし迷い難くない」ということは成り立たない fact15: もしもこの分譲マンションが観桜会であるということはない一方で戻し易いならこの合理的基準は戻し易くない fact16: 仮にそのイギリス側はすんごいとすれば「「「その勢力構造は塗布しないし観桜会でない」ということは成り立つ」ということは誤りである」ということは確かだ fact17: この分譲マンションが迷い難いとするとそのイギリス側はすんごい fact18: 「この分譲マンションは当該部分でない」ということは成り立つ fact19: もしある物が仕掛けるとすれば塗布する fact20: もし仮にそのイギリス側はすんごいとすれば「その勢力構造は塗布するということはないが観桜会だ」ということは嘘だ fact21: その勢力構造は晴々しい fact22: もし仮にこの分譲マンションは当該部分でないならば迷い難いか長官官房であるかもしくは両方だ fact23: その古美術が人狼部隊だとすると鑑賞し易いということはない
fact22 & fact18 -> int1: この分譲マンションは迷い難いかもしくは長官官房であるかもしくはどちらもである; int1 & fact17 & fact11 -> int2: そのイギリス側はすんごい; int2 & fact16 -> int3: 「その勢力構造は塗布しないしそれに観桜会だということはない」ということは誤りだ; fact1 -> int4: もし仮に「その勢力構造は塗布しなくて観桜会であるということはない」ということは誤っているとすればそれは熱くない; int3 & int4 -> int5: その勢力構造は熱くない; int5 & fact2 -> hypothesis;
この合理的基準は戻し易くないし熱くない
fact30 -> int6: もしもこの分譲マンションが塗布するとすれば観桜会でないしさらにそれは戻し易い; fact24 -> int7: この分譲マンションは仕掛けるとしたら「塗布する」ということは真実だ; fact28 & fact25 -> int8: この分譲マンションは仕掛ける; int7 & int8 -> int9: この分譲マンションは塗布する; int6 & int9 -> int10: この分譲マンションは観桜会であるということはないけど戻し易い; fact27 & int10 -> int11: この合理的基準は戻し易くない; fact29 -> int12: 仮にこの合理的基準は当該部分ですんごいとすれば熱くない; fact26 -> int13: もし仮にそのイギリス側が見え辛くないならそれは分かり辛いかあるいは当該部分だということはないかまたはどちらもである; fact34 & fact31 -> int14: 「その勢力構造はランドマークタワーでなくて見え辛くない」ということは成り立たない; fact33 & int14 -> int15: そのイギリス側は見え辛くない; int13 & int15 -> int16: そのイギリス側は分かり辛いかあるいは当該部分であるということはないかまたは両方だ; fact32 & int16 -> int17: この合理的基準は当該部分だ;
$facts$ = fact1: 仮に「なにがしかのものが塗布しないしさらに観桜会でない」ということは成り立たないなら熱くない fact2: もし仮にその勢力構造は熱くないとしたら「この合理的基準は戻し易くないしおまけに熱くない」ということは成り立たない fact3: この日本髪が壊れ難いとすればこの分譲マンションは仕掛ける fact4: もし「その勢力構造はランドマークタワーでないしそれは見え辛いということはない」ということは間違いだとするとそのイギリス側は見え辛くない fact5: 「この分譲マンションは当該部分でないがそれは観桜会である」ということは間違いである fact6: この日本髪は壊れ難い fact7: そのイギリス側は当該部分だとしたら「この分譲マンションは迷い難くなくてしかもすんごくない」ということは偽である fact8: もしとあるものが塗布すればそれは観桜会でないしそれは戻し易い fact9: 見え辛くない物は分かり辛いかまたは当該部分でない fact10: もし仮にその勢力構造は晴々しいとすれば「ランドマークタワーでないししかもそれは見え辛くない」ということは事実だということはない fact11: この分譲マンションは長官官房だとしたら「そのイギリス側はすんごい」ということは正しい fact12: 当該部分がすんごいならば熱くない fact13: そのイギリス側が分かり辛いか当該部分でないかどちらもだとするとこの合理的基準は当該部分だ fact14: 「その勢力構造は観桜会でないし迷い難くない」ということは成り立たない fact15: もしもこの分譲マンションが観桜会であるということはない一方で戻し易いならこの合理的基準は戻し易くない fact16: 仮にそのイギリス側はすんごいとすれば「「「その勢力構造は塗布しないし観桜会でない」ということは成り立つ」ということは誤りである」ということは確かだ fact17: この分譲マンションが迷い難いとするとそのイギリス側はすんごい fact18: 「この分譲マンションは当該部分でない」ということは成り立つ fact19: もしある物が仕掛けるとすれば塗布する fact20: もし仮にそのイギリス側はすんごいとすれば「その勢力構造は塗布するということはないが観桜会だ」ということは嘘だ fact21: その勢力構造は晴々しい fact22: もし仮にこの分譲マンションは当該部分でないならば迷い難いか長官官房であるかもしくは両方だ fact23: その古美術が人狼部隊だとすると鑑賞し易いということはない ; $hypothesis$ = 「「「この合理的基準は戻し易くないしおまけに熱くない」ということは正しい」ということは成り立たない」ということは確かである ; $proof$ = 
fact22 & fact18 -> int1: この分譲マンションは迷い難いかもしくは長官官房であるかもしくはどちらもである; int1 & fact17 & fact11 -> int2: そのイギリス側はすんごい; int2 & fact16 -> int3: 「その勢力構造は塗布しないしそれに観桜会だということはない」ということは誤りだ; fact1 -> int4: もし仮に「その勢力構造は塗布しなくて観桜会であるということはない」ということは誤っているとすればそれは熱くない; int3 & int4 -> int5: その勢力構造は熱くない; int5 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「なにがしかのものが塗布しないしさらに観桜会でない」ということは成り立たないなら熱くない
事実2: もし仮にその勢力構造は熱くないとしたら「この合理的基準は戻し易くないしおまけに熱くない」ということは成り立たない
事実3: この日本髪が壊れ難いとすればこの分譲マンションは仕掛ける
事実4: もし「その勢力構造はランドマークタワーでないしそれは見え辛いということはない」ということは間違いだとするとそのイギリス側は見え辛くない
事実5: 「この分譲マンションは当該部分でないがそれは観桜会である」ということは間違いである
事実6: この日本髪は壊れ難い
事実7: そのイギリス側は当該部分だとしたら「この分譲マンションは迷い難くなくてしかもすんごくない」ということは偽である
事実8: もしとあるものが塗布すればそれは観桜会でないしそれは戻し易い
事実9: 見え辛くない物は分かり辛いかまたは当該部分でない
事実10: もし仮にその勢力構造は晴々しいとすれば「ランドマークタワーでないししかもそれは見え辛くない」ということは事実だということはない
事実11: この分譲マンションは長官官房だとしたら「そのイギリス側はすんごい」ということは正しい
事実12: 当該部分がすんごいならば熱くない
事実13: そのイギリス側が分かり辛いか当該部分でないかどちらもだとするとこの合理的基準は当該部分だ
事実14: 「その勢力構造は観桜会でないし迷い難くない」ということは成り立たない
事実15: もしもこの分譲マンションが観桜会であるということはない一方で戻し易いならこの合理的基準は戻し易くない
事実16: 仮にそのイギリス側はすんごいとすれば「「「その勢力構造は塗布しないし観桜会でない」ということは成り立つ」ということは誤りである」ということは確かだ
事実17: この分譲マンションが迷い難いとするとそのイギリス側はすんごい
事実18: 「この分譲マンションは当該部分でない」ということは成り立つ
事実19: もしある物が仕掛けるとすれば塗布する
事実20: もし仮にそのイギリス側はすんごいとすれば「その勢力構造は塗布するということはないが観桜会だ」ということは嘘だ
事実21: その勢力構造は晴々しい
事実22: もし仮にこの分譲マンションは当該部分でないならば迷い難いか長官官房であるかもしくは両方だ
事実23: その古美術が人狼部隊だとすると鑑賞し易いということはない

仮説: 「「「この合理的基準は戻し易くないしおまけに熱くない」ということは正しい」ということは成り立たない」ということは確かである
1. 事実22と事実18から、推論1: "この分譲マンションは迷い難いかもしくは長官官房であるかもしくはどちらもである"が導かれる
2. 推論1と事実17と事実11から、推論2: "そのイギリス側はすんごい"が導かれる
3. 推論2と事実16から、推論3: "「その勢力構造は塗布しないしそれに観桜会だということはない」ということは誤りだ"が導かれる
4. 事実1から、推論4: "もし仮に「その勢力構造は塗布しなくて観桜会であるということはない」ということは誤っているとすればそれは熱くない"が導かれる
5. 推論3と推論4から、推論5: "その勢力構造は熱くない"が導かれる
6. 推論5と事実2から、仮説が導かれる

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