もしもそのＡＭラジオが親しならばこのカタルシスは此れ以後でないがしかしそれは注射用抗菌薬である
fact1: 仮にそのＡＭラジオが親しとしたらこのカタルシスは此れ以後であるしそれにそれは注射用抗菌薬だ fact2: もし「このカタルシスは此れ以後でないが注射用抗菌薬だ」ということは嘘であるならそのＡＭラジオは親しない fact3: 「このカタルシスは此れ以後であるということはないけれど注射用抗菌薬である」ということは真実でないとしたらそのＡＭラジオは親し fact4: そのリソソームは卑しくないが親し fact5: もしこのカタルシスが親しとすればそのＡＭラジオは注射用抗菌薬でないがそれは此れ以後である fact6: もし「このカタルシスは注射用抗菌薬でない」ということは事実であるとするとそのＡＭラジオは親しない fact7: このカタルシスは注射用抗菌薬だ fact8: もしそのＡＭラジオが親しならばこのカタルシスは注射用抗菌薬である fact9: もし「このカタルシスは此れ以後でないがしかし注射用抗菌薬である」ということは事実であるならばそのＡＭラジオは親しない fact10: もし仮にそのＡＭラジオが此れ以後であるならばこのカタルシスは注射用抗菌薬だ fact11: そのＡＭラジオは変更すらないがコーヒーテーブルだ fact12: このカタルシスは親し fact13: 仮に「このカタルシスが此れ以後だしさらにそれは注射用抗菌薬だ」ということは誤りであるならばそのＡＭラジオは親しということはない fact14: そのＡＭラジオは光文社文庫である
void -> assump1: 以下のように仮定する。「このカタルシスは此れ以後でないがしかし注射用抗菌薬だ」ということは間違いである; fact2 & assump1 -> int1: そのＡＭラジオは親しない; void -> assump2: 以下のように仮定する。「そのＡＭラジオは親し」ということは真実である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このカタルシスは此れ以後でないが注射用抗菌薬だ; [assump2] & int3 -> hypothesis;
$facts$ = fact1: 仮にそのＡＭラジオが親しとしたらこのカタルシスは此れ以後であるしそれにそれは注射用抗菌薬だ fact2: もし「このカタルシスは此れ以後でないが注射用抗菌薬だ」ということは嘘であるならそのＡＭラジオは親しない fact3: 「このカタルシスは此れ以後であるということはないけれど注射用抗菌薬である」ということは真実でないとしたらそのＡＭラジオは親し fact4: そのリソソームは卑しくないが親し fact5: もしこのカタルシスが親しとすればそのＡＭラジオは注射用抗菌薬でないがそれは此れ以後である fact6: もし「このカタルシスは注射用抗菌薬でない」ということは事実であるとするとそのＡＭラジオは親しない fact7: このカタルシスは注射用抗菌薬だ fact8: もしそのＡＭラジオが親しならばこのカタルシスは注射用抗菌薬である fact9: もし「このカタルシスは此れ以後でないがしかし注射用抗菌薬である」ということは事実であるならばそのＡＭラジオは親しない fact10: もし仮にそのＡＭラジオが此れ以後であるならばこのカタルシスは注射用抗菌薬だ fact11: そのＡＭラジオは変更すらないがコーヒーテーブルだ fact12: このカタルシスは親し fact13: 仮に「このカタルシスが此れ以後だしさらにそれは注射用抗菌薬だ」ということは誤りであるならばそのＡＭラジオは親しということはない fact14: そのＡＭラジオは光文社文庫である ; $hypothesis$ = もしもそのＡＭラジオが親しならばこのカタルシスは此れ以後でないがしかしそれは注射用抗菌薬である ; $proof$ = 
void -> assump1: 以下のように仮定する。「このカタルシスは此れ以後でないがしかし注射用抗菌薬だ」ということは間違いである; fact2 & assump1 -> int1: そのＡＭラジオは親しない; void -> assump2: 以下のように仮定する。「そのＡＭラジオは親し」ということは真実である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このカタルシスは此れ以後でないが注射用抗菌薬だ; [assump2] & int3 -> hypothesis; __PROVED__
事実1: 仮にそのＡＭラジオが親しとしたらこのカタルシスは此れ以後であるしそれにそれは注射用抗菌薬だ
事実2: もし「このカタルシスは此れ以後でないが注射用抗菌薬だ」ということは嘘であるならそのＡＭラジオは親しない
事実3: 「このカタルシスは此れ以後であるということはないけれど注射用抗菌薬である」ということは真実でないとしたらそのＡＭラジオは親し
事実4: そのリソソームは卑しくないが親し
事実5: もしこのカタルシスが親しとすればそのＡＭラジオは注射用抗菌薬でないがそれは此れ以後である
事実6: もし「このカタルシスは注射用抗菌薬でない」ということは事実であるとするとそのＡＭラジオは親しない
事実7: このカタルシスは注射用抗菌薬だ
事実8: もしそのＡＭラジオが親しならばこのカタルシスは注射用抗菌薬である
事実9: もし「このカタルシスは此れ以後でないがしかし注射用抗菌薬である」ということは事実であるならばそのＡＭラジオは親しない
事実10: もし仮にそのＡＭラジオが此れ以後であるならばこのカタルシスは注射用抗菌薬だ
事実11: そのＡＭラジオは変更すらないがコーヒーテーブルだ
事実12: このカタルシスは親し
事実13: 仮に「このカタルシスが此れ以後だしさらにそれは注射用抗菌薬だ」ということは誤りであるならばそのＡＭラジオは親しということはない
事実14: そのＡＭラジオは光文社文庫である

仮説: もしもそのＡＭラジオが親しならばこのカタルシスは此れ以後でないがしかしそれは注射用抗菌薬である
1. 仮定1: 以下のように仮定する。「このカタルシスは此れ以後でないがしかし注射用抗菌薬だ」ということは間違いである
2. 事実2と仮定1から、推論1: "そのＡＭラジオは親しない"が導かれる
3. 仮定2: 以下のように仮定する。「そのＡＭラジオは親し」ということは真実である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "このカタルシスは此れ以後でないが注射用抗菌薬だ"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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