Anne is furry. Bob is cold. Charlie is rough. Erin is green. All green things are rough. All young, green things are round. If something is furry and smart then it is round. All young, cold things are rough. If something is furry then it is young. If something is cold and rough then it is smart. All cold things are rough. All round, young things are furry.
Bob is not cold.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Charlie is rough.[(triple3)] Erin is green.[(triple4)] @1: Anne is young.[(((triple1) -> rule5))] Bob is rough.[(((triple2) -> rule7))] Erin is rough.[(((triple4) -> rule1))] @2: Bob is smart.[(((triple2 ((triple2) -> rule7)) -> rule6))]