Erin is big. Erin is red. Gary is furry. All smart people are nice. Quiet people are cold. All big people are cold. Quiet people are furry. Big people are smart. All furry people are big.
Gary is not nice.
@0: Erin is big.[(triple1)] Erin is red.[(triple2)] Gary is furry.[(triple3)] @1: Erin is cold.[(((triple1) -> rule3))] Erin is smart.[(((triple1) -> rule5))] Gary is big.[(((triple3) -> rule6))] @2: Erin is nice.[(((((triple1) -> rule5)) -> rule1))] Gary is cold.[(((((triple3) -> rule6)) -> rule3))] Gary is smart.[(((((triple3) -> rule6)) -> rule5))] @3: Gary is nice.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]