Bob is young. Charlie is smart. Erin is young. Harry is quiet. If something is round then it is young. All quiet things are furry. All blue things are smart. All round things are cold. If something is blue and young then it is round. Cold things are furry. All round, young things are smart. If something is young and cold then it is smart.
Charlie is quiet.
@0: Bob is young.[(triple1)] Charlie is smart.[(triple2)] Erin is young.[(triple3)] Harry is quiet.[(triple4)] @1: Harry is furry.[(((triple4) -> rule2))]