「このぴやぴちゃLv.55はねちっこくない」ということは成り立つ
fact1: このぴやぴちゃLv.55は小狡いし更に人懐こい fact2: もし仮にこのぴやぴちゃLv.55は小狡くて明るいとしたら「愛くるしいということはない」ということは間違っていない fact3: このぴやぴちゃLv.55は乗り換える fact4: もし仮にこのぴやぴちゃLv.55が人懐こいしその上乗り換えるとしたらねちっこくない
fact1 -> int1: このぴやぴちゃLv.55は人懐こい; int1 & fact3 -> int2: 「このぴやぴちゃLv.55は人懐こいし乗り換える」ということは真実である; int2 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: このぴやぴちゃLv.55は小狡いし更に人懐こい fact2: もし仮にこのぴやぴちゃLv.55は小狡くて明るいとしたら「愛くるしいということはない」ということは間違っていない fact3: このぴやぴちゃLv.55は乗り換える fact4: もし仮にこのぴやぴちゃLv.55が人懐こいしその上乗り換えるとしたらねちっこくない ; $hypothesis$ = 「このぴやぴちゃLv.55はねちっこくない」ということは成り立つ ; $proof$ = 
fact1 -> int1: このぴやぴちゃLv.55は人懐こい; int1 & fact3 -> int2: 「このぴやぴちゃLv.55は人懐こいし乗り換える」ということは真実である; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis; __PROVED__