Charlie is smart. Erin is young. Gary is round. If Erin is young then Erin is round. Smart people are furry. If someone is cold then they are furry. All round people are young. If someone is smart and cold then they are furry. If someone is cold and green then they are big. If someone is round then they are cold. All furry, smart people are cold.
Erin is not smart.
@0: Charlie is smart.[(triple1)] Erin is young.[(triple2)] Gary is round.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule2))] Erin is round.[(((triple2) -> rule1))] Gary is cold.[(((triple3) -> rule7))] Gary is young.[(((triple3) -> rule4))] @2: Charlie is cold.[(((((triple1) -> rule2) triple1) -> rule8))] Erin is cold.[(((((triple2) -> rule1)) -> rule7))] Gary is furry.[(((((triple3) -> rule7)) -> rule3))] @3: Erin is furry.[(((((((triple2) -> rule1)) -> rule7)) -> rule3))]