そのぴちゅぴちゅLv.9は烏滸がましいしそれは切ない
fact1: そのぴちゅぴちゅLv.9は切ない fact2: 仮にそのぴちゅぴちゅLv.9がうじうじするならそれは烏滸がましい fact3: 涙ぐましいモンスターはいる fact4: 仮にこのぷにょぷちゅLv.73が烏滸がましくないとすればそのぴちゅぴちゅLv.9は繰り回すしさらにそれはうじうじする fact5: このぽいぽくLv.25が切ないとするとそのまよまえLv.70は切ない fact6: このぷにょぷちゅLv.73は繰り回すとすると「そのぴちゅぴちゅLv.9はうじうじする」ということは成り立つ fact7: このぷにょぷちゅLv.73は繰り回す fact8: あのぷえぷにゃLv.37は切ない
fact6 & fact7 -> int1: そのぴちゅぴちゅLv.9はうじうじする; int1 & fact2 -> int2: そのぴちゅぴちゅLv.9は烏滸がましい; int2 & fact1 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
そのぴちゅぴちゅLv.9は繰り回す
$facts$ = fact1: そのぴちゅぴちゅLv.9は切ない fact2: 仮にそのぴちゅぴちゅLv.9がうじうじするならそれは烏滸がましい fact3: 涙ぐましいモンスターはいる fact4: 仮にこのぷにょぷちゅLv.73が烏滸がましくないとすればそのぴちゅぴちゅLv.9は繰り回すしさらにそれはうじうじする fact5: このぽいぽくLv.25が切ないとするとそのまよまえLv.70は切ない fact6: このぷにょぷちゅLv.73は繰り回すとすると「そのぴちゅぴちゅLv.9はうじうじする」ということは成り立つ fact7: このぷにょぷちゅLv.73は繰り回す fact8: あのぷえぷにゃLv.37は切ない ; $hypothesis$ = そのぴちゅぴちゅLv.9は烏滸がましいしそれは切ない ; $proof$ = 
fact6 & fact7 -> int1: そのぴちゅぴちゅLv.9はうじうじする; int1 & fact2 -> int2: そのぴちゅぴちゅLv.9は烏滸がましい; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__