「このまよまにゅLv.79は甘い」ということは成り立たない
fact1: 仮に「このまよまにゅLv.79は礼儀正しくないがそれは退色し易い」ということは間違っているとしたら再ドロップする fact2: そのみやみのLv.28は水臭いししかも退色し易い fact3: このまよまにゅLv.79はどうして良くて仕事らしい fact4: 仮にこのまよまにゅLv.79はどうして良いとすれば「このまよまにゅLv.79は礼儀正しくない一方で退色し易い」ということは成り立たない fact5: 仮にこのまよまにゅLv.79が分かち難くてさらに再ドロップするとすればこのまよまにゅLv.79は甘くない fact6: このまよまにゅLv.79は分かち難い
fact3 -> int1: このまよまにゅLv.79はどうして良い; int1 & fact4 -> int2: 「このまよまにゅLv.79は礼儀正しくない一方で退色し易い」ということは嘘である; int2 & fact1 -> int3: 「このまよまにゅLv.79は再ドロップする」ということは正しい; int3 & fact6 -> int4: このまよまにゅLv.79は分かち難いししかも再ドロップする; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ¬(¬{D}{a} & {C}{a}); int2 & fact1 -> int3: {E}{a}; int3 & fact6 -> int4: ({F}{a} & {E}{a}); int4 & fact5 -> hypothesis;
そのみやみのLv.28が水臭いしその上それは転地する
fact7 -> int5: そのみやみのLv.28は水臭い;
$facts$ = fact1: 仮に「このまよまにゅLv.79は礼儀正しくないがそれは退色し易い」ということは間違っているとしたら再ドロップする fact2: そのみやみのLv.28は水臭いししかも退色し易い fact3: このまよまにゅLv.79はどうして良くて仕事らしい fact4: 仮にこのまよまにゅLv.79はどうして良いとすれば「このまよまにゅLv.79は礼儀正しくない一方で退色し易い」ということは成り立たない fact5: 仮にこのまよまにゅLv.79が分かち難くてさらに再ドロップするとすればこのまよまにゅLv.79は甘くない fact6: このまよまにゅLv.79は分かち難い ; $hypothesis$ = 「このまよまにゅLv.79は甘い」ということは成り立たない ; $proof$ = 
fact3 -> int1: このまよまにゅLv.79はどうして良い; int1 & fact4 -> int2: 「このまよまにゅLv.79は礼儀正しくない一方で退色し易い」ということは嘘である; int2 & fact1 -> int3: 「このまよまにゅLv.79は再ドロップする」ということは正しい; int3 & fact6 -> int4: このまよまにゅLv.79は分かち難いししかも再ドロップする; int4 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: ¬(¬{D}{a} & {C}{a}); int2 & fact1 -> int3: {E}{a}; int3 & fact6 -> int4: ({F}{a} & {E}{a}); int4 & fact5 -> hypothesis; __PROVED__