あの深海魚は順応し易い
fact1: もし「厭わない」物があるとしたらあの深海魚は順応し易くない一方でそれは治病だ fact2: もし「厭わない」物があればあの深海魚は治病であるということはないがしかし順応し易い fact3: 仮になにがしかのものが順応し易いということはないとすればあの深海魚は治病でないがしかし厭う fact4: もし仮にあの深海魚が順応し易くないが治病であるとしたらその小用便器は厭う fact5: もしも「治病でない」物があればその小用便器は順応し易くないが厭う fact6: 仮に「染めない」ものがあるとすればあの小用便器は厭う fact7: もし仮にその小用便器が治病でないけれどそれが厭うとするとあの深海魚は順応し易い fact8: あの深海魚は大きい fact9: もしも「染めない」ものがあるならばあの小用便器は治病でないがしかし厭う fact10: ある物は染める fact11: その小用便器は順応し易くない一方で厭う fact12: 何らかの物が治病であるかまたは染めないとすればそれは順応し易くない fact13: 「治病でない」ものはある fact14: もし仮にその小用便器が厭わないが順応し易いとすればあの深海魚は治病である fact15: その小用便器は削げるということはないが厭う fact16: その小用便器は厭う fact17: あの深海魚は染める fact18: その小用便器が治病でないけど順応し易いとしたらあの深海魚は厭う fact19: あの前半分はオーバーロードしない一方で染める fact20: なにがしかの物は染めない fact21: もしその小用便器が順応し易くないがしかし治病ならあの深海魚は厭う fact22: 仮にあの深海魚が厭うということはないがしかし順応し易いとすればその小用便器は治病である
fact20 & fact9 -> int1: その小用便器は治病でないがしかし厭う; int1 & fact7 -> hypothesis;
fact20 & fact9 -> int1: (¬{B}{a} & {C}{a}); int1 & fact7 -> hypothesis;
あの深海魚は順応し易いということはない
fact23 -> int2: もしあの深海魚は治病であるか染めないかまたは両方ともであるならば「それは順応し易くない」ということは正しい;
$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$ = 
fact20 & fact9 -> int1: その小用便器は治病でないがしかし厭う; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし「厭わない」物があるとしたらあの深海魚は順応し易くない一方でそれは治病だ
事実2: もし「厭わない」物があればあの深海魚は治病であるということはないがしかし順応し易い
事実3: 仮になにがしかのものが順応し易いということはないとすればあの深海魚は治病でないがしかし厭う
事実4: もし仮にあの深海魚が順応し易くないが治病であるとしたらその小用便器は厭う
事実5: もしも「治病でない」物があればその小用便器は順応し易くないが厭う
事実6: 仮に「染めない」ものがあるとすればあの小用便器は厭う
事実7: もし仮にその小用便器が治病でないけれどそれが厭うとするとあの深海魚は順応し易い
事実8: あの深海魚は大きい
事実9: もしも「染めない」ものがあるならばあの小用便器は治病でないがしかし厭う
事実10: ある物は染める
事実11: その小用便器は順応し易くない一方で厭う
事実12: 何らかの物が治病であるかまたは染めないとすればそれは順応し易くない
事実13: 「治病でない」ものはある
事実14: もし仮にその小用便器が厭わないが順応し易いとすればあの深海魚は治病である
事実15: その小用便器は削げるということはないが厭う
事実16: その小用便器は厭う
事実17: あの深海魚は染める
事実18: その小用便器が治病でないけど順応し易いとしたらあの深海魚は厭う
事実19: あの前半分はオーバーロードしない一方で染める
事実20: なにがしかの物は染めない
事実21: もしその小用便器が順応し易くないがしかし治病ならあの深海魚は厭う
事実22: 仮にあの深海魚が厭うということはないがしかし順応し易いとすればその小用便器は治病である

仮説: あの深海魚は順応し易い
1. 事実20と事実9から、推論1: "その小用便器は治病でないがしかし厭う"が導かれる
2. 推論1と事実7から、仮説が導かれる

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