その御自宅は見窄らしくない
fact1: その御自宅が荒ぶし母鳥だとするとそれは見窄らしくない fact2: 断定し難いしおまけに忠実忠実しいということはない物はある fact3: もしもあの雄ライオンは取得し易くて加えて母鳥であるとしたら「そのコーポレート・ガバナンス構造は剥がれ易いということはない」ということは本当だ fact4: もし仮に「「前後するかまたは蕩尽する」ということは成り立つということはない」物があるとするとあの雄ライオンは取得し易い fact5: なんらかのものは前後しない fact6: もし「その御自宅は見窄らしくない」ということは正しいとしたらそれはすっごーい fact7: 「前後するかもしくは蕩尽するかあるいは両方ともな」ものはある fact8: もし仮にあの雄ライオンが取得し易くて更に荒ぶとしたらその御自宅は剥がれ易いということはない fact9: 「「前後するかあるいは蕩尽する」ということは本当でない」ものはある fact10: もしも「「断定し難いし忠実忠実しかない」ということは誤りな」ものがあるならそのコーポレート・ガバナンス構造は母鳥だということはない fact11: 何かは荒ばないならそれは膀胱だしかつ母鳥だ fact12: 「「「断定し難い一方で忠実忠実しかない」ということは成り立つ」ということは正しくない」ものはある fact13: あの雄ライオンはすっごーい fact14: 「「断定し難いし更に忠実忠実しい」ということは嘘な」物はある fact15: 「「剥がれ易いけれど母鳥でない」ということは誤りである」物があるならそのコーポレート・ガバナンス構造は見窄らしくない fact16: 「蕩尽しない」物はある fact17: そのコーポレート・ガバナンス構造は見窄らしくない fact18: もし仮にそのコーポレート・ガバナンス構造が母鳥でないとしたらあの雄ライオンはすっごーいし荒ぶ fact19: もしもそのコーポレート・ガバナンス構造が母鳥でないならあの雄ライオンはすっごーい fact20: もし仮にその御自宅が剥がれ易くないとしたら見窄らしい fact21: 仮に「忠実忠実しい」ものがあるとすればそのコーポレート・ガバナンス構造は母鳥でない fact22: その御自宅は取得し易い
fact12 & fact10 -> int1: そのコーポレート・ガバナンス構造は母鳥だということはない; int1 & fact18 -> int2: あの雄ライオンはすっごーいし荒ぶ; int2 -> int3: あの雄ライオンは荒ぶ; fact4 & fact9 -> int4: 「あの雄ライオンは取得し易い」ということは確かだ; int3 & int4 -> int5: あの雄ライオンは取得し易いし荒ぶ; int5 & fact8 -> int6: その御自宅は剥がれ易くない; int6 & fact20 -> hypothesis;
「そのコーポレート・ガバナンス構造は膀胱であるということはない」ということは誤っている
fact23 -> int7: そのコーポレート・ガバナンス構造が荒ばないとしたら膀胱であるしおまけに母鳥である;
$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 & fact10 -> int1: そのコーポレート・ガバナンス構造は母鳥だということはない; int1 & fact18 -> int2: あの雄ライオンはすっごーいし荒ぶ; int2 -> int3: あの雄ライオンは荒ぶ; fact4 & fact9 -> int4: 「あの雄ライオンは取得し易い」ということは確かだ; int3 & int4 -> int5: あの雄ライオンは取得し易いし荒ぶ; int5 & fact8 -> int6: その御自宅は剥がれ易くない; int6 & fact20 -> 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と事実10から、推論1: "そのコーポレート・ガバナンス構造は母鳥だということはない"が導かれる
2. 推論1と事実18から、推論2: "あの雄ライオンはすっごーいし荒ぶ"が導かれる
3. 推論2から、推論3: "あの雄ライオンは荒ぶ"が導かれる
4. 事実4と事実9から、推論4: "「あの雄ライオンは取得し易い」ということは確かだ"が導かれる
5. 推論3と推論4から、推論5: "あの雄ライオンは取得し易いし荒ぶ"が導かれる
6. 推論5と事実8から、推論6: "その御自宅は剥がれ易くない"が導かれる
7. 推論6と事実20から、仮説が否定される

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