その三ＬＤＫは素っ気ない
fact1: 覚え易くない物は素っ気なくない fact2: 仮にその三ＬＤＫは最小・独立でないとしたらそれは素っ気なくない fact3: もし「何らかのものは茹で始めない一方でそれは食べ易い」ということは誤っているとしたらそれは押さえ兼ねる fact4: 仮にあの個人的権利が最小・独立であるし加えてそれは取り戻せば「その三ＬＤＫは覚え易いということはない」ということは正しい fact5: その一次案は掛かり易い fact6: もしもあの言い替えが取り戻さないとすれば伝わり易くない fact7: あの言い替えが伝わり易いならばその火力発電所は覚え易いかもしくは素っ気なくない fact8: もしその一次案は忘れ果てるとすれば「そのず仕舞いは茹で始めないがしかし食べ易い」ということは成り立たない fact9: もしこの職発が押さえ兼ねるとしたらこの値上げは労労じない fact10: もしも何らかの物は孤立しないなら「付き難くない」ということは成り立つ fact11: その三ＬＤＫは子要素でない fact12: なんらかの物は湿り具合であるとすれば「忘れ果てる」ということは真実だ fact13: もし仮にあの言い替えが伝わり易くないとすればあの個人的権利は取り戻す fact14: あの言い替えは伝わり易くない fact15: 仮にその一次案が掛かり易いならば迷信深い fact16: もし「なにかは伝わり易いがしかしそれは素っ気なくない」ということは成り立たないとしたらそれは素っ気ない fact17: あの個人的権利は取り戻す fact18: 仮にこの値上げが労労じないとすればあの個人的権利は零し始めない fact19: 仮にあの言い替えが伝わり易いということはないとしたらあの個人的権利は最小・独立で取り戻す fact20: 仮に「その一次案は迷信深い」ということは成り立つとすれば湿り具合である fact21: 仮にそのず仕舞いが押さえ兼ねるとしたらこの職発は押さえ兼ねる
fact19 & fact14 -> int1: あの個人的権利は最小・独立であるしそれは取り戻す; int1 & fact4 -> int2: その三ＬＤＫは覚え易くない; fact1 -> int3: もしその三ＬＤＫが覚え易くないなら素っ気なくない; int2 & int3 -> hypothesis;
fact19 & fact14 -> int1: ({AA}{b} & {AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; fact1 -> int3: ¬{B}{c} -> ¬{C}{c}; int2 & int3 -> hypothesis;
その三ＬＤＫは素っ気ない
fact31 -> int4: もし仮に「その三ＬＤＫは伝わり易いけど素っ気なくない」ということは間違っているとしたらそれは素っ気ない; fact27 -> int5: もしも「そのず仕舞いは茹で始めるということはない一方で食べ易い」ということは誤りならそれは押さえ兼ねる; fact30 -> int6: 仮にその一次案は湿り具合であるならそれは忘れ果てる; fact26 & fact23 -> int7: 「その一次案は迷信深い」ということは事実と異ならない; fact22 & int7 -> int8: その一次案は湿り具合である; int6 & int8 -> int9: その一次案は忘れ果てる; fact29 & int9 -> int10: 「そのず仕舞いは茹で始めないがしかし食べ易い」ということは事実と異なる; int5 & int10 -> int11: そのず仕舞いは押さえ兼ねる; fact28 & int11 -> int12: 「この職発は押さえ兼ねる」ということは事実である; fact24 & int12 -> int13: この値上げは労労じない; fact25 & int13 -> int14: あの個人的権利は零し始めるということはない; int14 -> int15: 「零し始めない」ものはある;
$facts$ = fact1: 覚え易くない物は素っ気なくない fact2: 仮にその三ＬＤＫは最小・独立でないとしたらそれは素っ気なくない fact3: もし「何らかのものは茹で始めない一方でそれは食べ易い」ということは誤っているとしたらそれは押さえ兼ねる fact4: 仮にあの個人的権利が最小・独立であるし加えてそれは取り戻せば「その三ＬＤＫは覚え易いということはない」ということは正しい fact5: その一次案は掛かり易い fact6: もしもあの言い替えが取り戻さないとすれば伝わり易くない fact7: あの言い替えが伝わり易いならばその火力発電所は覚え易いかもしくは素っ気なくない fact8: もしその一次案は忘れ果てるとすれば「そのず仕舞いは茹で始めないがしかし食べ易い」ということは成り立たない fact9: もしこの職発が押さえ兼ねるとしたらこの値上げは労労じない fact10: もしも何らかの物は孤立しないなら「付き難くない」ということは成り立つ fact11: その三ＬＤＫは子要素でない fact12: なんらかの物は湿り具合であるとすれば「忘れ果てる」ということは真実だ fact13: もし仮にあの言い替えが伝わり易くないとすればあの個人的権利は取り戻す fact14: あの言い替えは伝わり易くない fact15: 仮にその一次案が掛かり易いならば迷信深い fact16: もし「なにかは伝わり易いがしかしそれは素っ気なくない」ということは成り立たないとしたらそれは素っ気ない fact17: あの個人的権利は取り戻す fact18: 仮にこの値上げが労労じないとすればあの個人的権利は零し始めない fact19: 仮にあの言い替えが伝わり易いということはないとしたらあの個人的権利は最小・独立で取り戻す fact20: 仮に「その一次案は迷信深い」ということは成り立つとすれば湿り具合である fact21: 仮にそのず仕舞いが押さえ兼ねるとしたらこの職発は押さえ兼ねる ; $hypothesis$ = その三ＬＤＫは素っ気ない ; $proof$ = 
fact19 & fact14 -> int1: あの個人的権利は最小・独立であるしそれは取り戻す; int1 & fact4 -> int2: その三ＬＤＫは覚え易くない; fact1 -> 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: 仮にそのず仕舞いが押さえ兼ねるとしたらこの職発は押さえ兼ねる

仮説: その三ＬＤＫは素っ気ない
1. 事実19と事実14から、推論1: "あの個人的権利は最小・独立であるしそれは取り戻す"が導かれる
2. 推論1と事実4から、推論2: "その三ＬＤＫは覚え易くない"が導かれる
3. 事実1から、推論3: "もしその三ＬＤＫが覚え易くないなら素っ気なくない"が導かれる
4. 推論2と推論3から、仮説が否定される

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