Charlie is smart. Erin is blue. Gary is big. Blue things are nice. Big, nice things are furry. If Charlie is smart and Charlie is blue then Charlie is big. All nice things are big. All white things are nice. Smart things are furry. All cold things are smart. If Charlie is white and Charlie is nice then Charlie is smart.
Gary is not big.
@0: Charlie is smart.[(triple1)] Erin is blue.[(triple2)] Gary is big.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule6))] Erin is nice.[(((triple2) -> rule1))] @2: Erin is big.[(((((triple2) -> rule1)) -> rule4))] @3: Erin is furry.[(((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule2))]