Erin is smart. Gary is not smart. If Gary is smart then Gary is cold. All blue people are round. All smart, cold people are not nice. Round people are furry. All rough people are furry. If someone is smart then they are blue. If someone is furry and nice then they are not smart. If someone is nice then they are cold.
Erin is smart.
@0: Erin is smart.[(triple1)] Gary is not smart.[(triple2)] @1: Erin is blue.[(((triple1) -> rule6))] @2: Erin is round.[(((((triple1) -> rule6)) -> rule2))] @3: Erin is furry.[(((((((triple1) -> rule6)) -> rule2)) -> rule4))]