あの自己像は参加メタファーである一方で忌まわしくない
fact1: もしもこのウパーリが望ましくらないとしたらあの自己像は参加メタファーだ fact2: この直線性は参加メタファーだ fact3: このウパーリが忌まわしいということはないとすればあの自己像は望ましいが参加メタファーでない fact4: 仮にこのウパーリが望ましくらないとするとあの自己像は参加メタファーであるけれど忌まわしくない fact5: 仮にあの自己像が参加メタファーだということはないならばこのウパーリは望ましいが忌まわしくない fact6: あの自己像は拍手するが望ましかない fact7: もし仮に何かは強調し過ぎないならばそれは望ましいしそれは呪詛する fact8: 仮に「このウパーリは忌まわしくない」ということは本当であるとすればあの自己像は参加メタファーだ fact9: もしもあの自己像が望ましくらないとするとこのウパーリは忌まわしいけれど参加メタファーでない fact10: このウパーリは望ましかない fact11: このウパーリは好き好む fact12: 望ましいものは参加メタファーでない fact13: あの自己像は参加メタファーである fact14: もしこのウパーリは好き好むし書面だとしたらそれは強調し過ぎない fact15: このウパーリは入賞する
fact4 & fact10 -> hypothesis;
fact4 & fact10 -> hypothesis;
「あの自己像は参加メタファーだ一方で忌まわしくない」ということは間違いである
fact16 -> int1: もしこのウパーリが望ましいならそれは参加メタファーであるということはない; fact19 -> int2: もしこのウパーリは強調し過ぎないならばそれは望ましくておまけに呪詛する;
$facts$ = fact1: もしもこのウパーリが望ましくらないとしたらあの自己像は参加メタファーだ fact2: この直線性は参加メタファーだ fact3: このウパーリが忌まわしいということはないとすればあの自己像は望ましいが参加メタファーでない fact4: 仮にこのウパーリが望ましくらないとするとあの自己像は参加メタファーであるけれど忌まわしくない fact5: 仮にあの自己像が参加メタファーだということはないならばこのウパーリは望ましいが忌まわしくない fact6: あの自己像は拍手するが望ましかない fact7: もし仮に何かは強調し過ぎないならばそれは望ましいしそれは呪詛する fact8: 仮に「このウパーリは忌まわしくない」ということは本当であるとすればあの自己像は参加メタファーだ fact9: もしもあの自己像が望ましくらないとするとこのウパーリは忌まわしいけれど参加メタファーでない fact10: このウパーリは望ましかない fact11: このウパーリは好き好む fact12: 望ましいものは参加メタファーでない fact13: あの自己像は参加メタファーである fact14: もしこのウパーリは好き好むし書面だとしたらそれは強調し過ぎない fact15: このウパーリは入賞する ; $hypothesis$ = あの自己像は参加メタファーである一方で忌まわしくない ; $proof$ = 
fact4 & fact10 -> hypothesis; __PROVED__
事実1: もしもこのウパーリが望ましくらないとしたらあの自己像は参加メタファーだ
事実2: この直線性は参加メタファーだ
事実3: このウパーリが忌まわしいということはないとすればあの自己像は望ましいが参加メタファーでない
事実4: 仮にこのウパーリが望ましくらないとするとあの自己像は参加メタファーであるけれど忌まわしくない
事実5: 仮にあの自己像が参加メタファーだということはないならばこのウパーリは望ましいが忌まわしくない
事実6: あの自己像は拍手するが望ましかない
事実7: もし仮に何かは強調し過ぎないならばそれは望ましいしそれは呪詛する
事実8: 仮に「このウパーリは忌まわしくない」ということは本当であるとすればあの自己像は参加メタファーだ
事実9: もしもあの自己像が望ましくらないとするとこのウパーリは忌まわしいけれど参加メタファーでない
事実10: このウパーリは望ましかない
事実11: このウパーリは好き好む
事実12: 望ましいものは参加メタファーでない
事実13: あの自己像は参加メタファーである
事実14: もしこのウパーリは好き好むし書面だとしたらそれは強調し過ぎない
事実15: このウパーリは入賞する

仮説: あの自己像は参加メタファーである一方で忌まわしくない
1. 事実4と事実10から、仮説が導かれる

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