このテナントビルは浅ましくない
fact1: このテナントビルは認め得ないし加えて師資冥合でない fact2: もしあの内遺跡が御若くないなら浅ましいしそれは告知する fact3: あの内遺跡は御若くない fact4: 「このサバイバル・セオリーは差し向けなくてその上晩成でない」ということは成り立つ fact5: もしも何らかのものは御若いということはないし清くないとしたらそれは告知するということはない fact6: もし仮にとあるものは禁止条項であるとしたら御若くないしさらに清いということはない fact7: あの画線部が呼び易いけれど王国全体であるということはないとすればそれは抜け替わらない fact8: このテナントビルはウィンドーだ fact9: 仮にあのベビーリーフが民間機でない一方でそれが香しいとすると殴り続ける fact10: このテナントビルは認め得ないしそれに殴り続けない fact11: 「このテナントビルは現われ易い」ということは正しい fact12: もし「このテナントビルは時効取得しないけれど現われ易い」ということは成り立てば浅ましい fact13: このテナントビルは認め得るということはない fact14: あの追悼式は黄門様でないしかつ薬臭くない fact15: もしこのテナントビルが認め得るということはないしその上それが殴り続けないとしたら時効取得しない fact16: このテナントビルは処す fact17: もしあの内遺跡が開店休業状態だとするとそれは禁止条項である fact18: もしもこのテナントビルが認め得るけれど殴り続けないならばそれは時効取得しない
fact15 & fact10 -> int1: このテナントビルは時効取得しない; int1 & fact11 -> int2: このテナントビルは時効取得しないがしかし現われ易い; int2 & fact12 -> hypothesis;
fact15 & fact10 -> int1: ¬{B}{a}; int1 & fact11 -> int2: (¬{B}{a} & {A}{a}); int2 & fact12 -> hypothesis;
このテナントビルは浅ましくない
fact19 -> int3: もし仮にあの内遺跡は御若くないし更に清くないなら「告知しない」ということは確かである; fact21 -> int4: もし仮にあの内遺跡が禁止条項なら御若くないししかも清くない;
$facts$ = fact1: このテナントビルは認め得ないし加えて師資冥合でない fact2: もしあの内遺跡が御若くないなら浅ましいしそれは告知する fact3: あの内遺跡は御若くない fact4: 「このサバイバル・セオリーは差し向けなくてその上晩成でない」ということは成り立つ fact5: もしも何らかのものは御若いということはないし清くないとしたらそれは告知するということはない fact6: もし仮にとあるものは禁止条項であるとしたら御若くないしさらに清いということはない fact7: あの画線部が呼び易いけれど王国全体であるということはないとすればそれは抜け替わらない fact8: このテナントビルはウィンドーだ fact9: 仮にあのベビーリーフが民間機でない一方でそれが香しいとすると殴り続ける fact10: このテナントビルは認め得ないしそれに殴り続けない fact11: 「このテナントビルは現われ易い」ということは正しい fact12: もし「このテナントビルは時効取得しないけれど現われ易い」ということは成り立てば浅ましい fact13: このテナントビルは認め得るということはない fact14: あの追悼式は黄門様でないしかつ薬臭くない fact15: もしこのテナントビルが認め得るということはないしその上それが殴り続けないとしたら時効取得しない fact16: このテナントビルは処す fact17: もしあの内遺跡が開店休業状態だとするとそれは禁止条項である fact18: もしもこのテナントビルが認め得るけれど殴り続けないならばそれは時効取得しない ; $hypothesis$ = このテナントビルは浅ましくない ; $proof$ = 
fact15 & fact10 -> int1: このテナントビルは時効取得しない; int1 & fact11 -> int2: このテナントビルは時効取得しないがしかし現われ易い; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: このテナントビルは認め得ないし加えて師資冥合でない
事実2: もしあの内遺跡が御若くないなら浅ましいしそれは告知する
事実3: あの内遺跡は御若くない
事実4: 「このサバイバル・セオリーは差し向けなくてその上晩成でない」ということは成り立つ
事実5: もしも何らかのものは御若いということはないし清くないとしたらそれは告知するということはない
事実6: もし仮にとあるものは禁止条項であるとしたら御若くないしさらに清いということはない
事実7: あの画線部が呼び易いけれど王国全体であるということはないとすればそれは抜け替わらない
事実8: このテナントビルはウィンドーだ
事実9: 仮にあのベビーリーフが民間機でない一方でそれが香しいとすると殴り続ける
事実10: このテナントビルは認め得ないしそれに殴り続けない
事実11: 「このテナントビルは現われ易い」ということは正しい
事実12: もし「このテナントビルは時効取得しないけれど現われ易い」ということは成り立てば浅ましい
事実13: このテナントビルは認め得るということはない
事実14: あの追悼式は黄門様でないしかつ薬臭くない
事実15: もしこのテナントビルが認め得るということはないしその上それが殴り続けないとしたら時効取得しない
事実16: このテナントビルは処す
事実17: もしあの内遺跡が開店休業状態だとするとそれは禁止条項である
事実18: もしもこのテナントビルが認め得るけれど殴り続けないならばそれは時効取得しない

仮説: このテナントビルは浅ましくない
1. 事実15と事実10から、推論1: "このテナントビルは時効取得しない"が導かれる
2. 推論1と事実11から、推論2: "このテナントビルは時効取得しないがしかし現われ易い"が導かれる
3. 推論2と事実12から、仮説が否定される

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