Anne is red. Anne is rough. Dave is young. Erin is nice. Erin is young. Gary is nice. Gary is young. All cold, nice things are rough. If something is smart then it is cold. If something is furry and smart then it is cold. If Gary is furry and Gary is rough then Gary is red. If something is nice and not young then it is red. If something is nice and cold then it is red. Furry things are nice. If something is young then it is smart.
Anne is smart.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Dave is young.[(triple3)] Erin is nice.[(triple4)] Erin is young.[(triple5)] Gary is nice.[(triple6)] Gary is young.[(triple7)] @1: Dave is smart.[(((triple3) -> rule8))] Erin is smart.[(((triple5) -> rule8))] Gary is smart.[(((triple7) -> rule8))] @2: Dave is cold.[(((((triple3) -> rule8)) -> rule2))] Erin is cold.[(((((triple5) -> rule8)) -> rule2))] Gary is cold.[(((((triple7) -> rule8)) -> rule2))] @3: Erin is red.[(((triple4 ((((triple5) -> rule8)) -> rule2)) -> rule6))] Erin is rough.[(((((((triple5) -> rule8)) -> rule2) triple4) -> rule1))] Gary is red.[(((triple6 ((((triple7) -> rule8)) -> rule2)) -> rule6))] Gary is rough.[(((((((triple7) -> rule8)) -> rule2) triple6) -> rule1))]