あのまくまわLv.66は潜り込める
fact1: 仮にこのぽにぽにLv.87が着せがましいとしたらあのまくまわLv.66は弱しけどそれは嘯かない fact2: そのぴなぴにゅLv.64は近い fact3: もしもそのぴなぴにゅLv.64が近いとしたらこのぽにぽにLv.87は御詳しい fact4: もしこのぽにぽにLv.87が御詳しいとするとこのぽにぽにLv.87は着せがましい fact5: もしもあのまくまわLv.66は弱しが嘯かないならばそれは潜り込める
fact3 & fact2 -> int1: このぽにぽにLv.87は御詳しい; int1 & fact4 -> int2: 「このぽにぽにLv.87は着せがましい」ということは成り立つ; int2 & fact1 -> int3: あのまくまわLv.66は弱しがしかしそれは嘯かない; int3 & fact5 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: ({D}{c} & ¬{E}{c}); int3 & fact5 -> hypothesis;
$facts$ = fact1: 仮にこのぽにぽにLv.87が着せがましいとしたらあのまくまわLv.66は弱しけどそれは嘯かない fact2: そのぴなぴにゅLv.64は近い fact3: もしもそのぴなぴにゅLv.64が近いとしたらこのぽにぽにLv.87は御詳しい fact4: もしこのぽにぽにLv.87が御詳しいとするとこのぽにぽにLv.87は着せがましい fact5: もしもあのまくまわLv.66は弱しが嘯かないならばそれは潜り込める ; $hypothesis$ = あのまくまわLv.66は潜り込める ; $proof$ = 
fact3 & fact2 -> int1: このぽにぽにLv.87は御詳しい; int1 & fact4 -> int2: 「このぽにぽにLv.87は着せがましい」ということは成り立つ; int2 & fact1 -> int3: あのまくまわLv.66は弱しがしかしそれは嘯かない; int3 & fact5 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact1 -> int3: ({D}{c} & ¬{E}{c}); int3 & fact5 -> hypothesis; __PROVED__