このぴいぴちゃLv.41は手っ取り早い
fact1: 「このぴいぴちゃLv.41は集大成する」ということは偽でないとすれば「それは手っ取り早い」ということは真実である fact2: 「このまちゃまにゅLv.44はせせこましい」ということは成り立つ fact3: もし仮にこのまちゃまにゅLv.44が発症し易いとすればこのぴいぴちゃLv.41は集大成する fact4: このまちゃまにゅLv.44はせせこましいしそれに発症し易い
fact4 -> int1: このまちゃまにゅLv.44は発症し易い; int1 & fact3 -> int2: このぴいぴちゃLv.41は集大成する; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「このぴいぴちゃLv.41は集大成する」ということは偽でないとすれば「それは手っ取り早い」ということは真実である fact2: 「このまちゃまにゅLv.44はせせこましい」ということは成り立つ fact3: もし仮にこのまちゃまにゅLv.44が発症し易いとすればこのぴいぴちゃLv.41は集大成する fact4: このまちゃまにゅLv.44はせせこましいしそれに発症し易い ; $hypothesis$ = このぴいぴちゃLv.41は手っ取り早い ; $proof$ = 
fact4 -> int1: このまちゃまにゅLv.44は発症し易い; int1 & fact3 -> int2: このぴいぴちゃLv.41は集大成する; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__