Charlie is furry. Charlie is young. Erin is furry. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is smart. Harry is cold. Harry is young. Furry, young things are smart. If Charlie is rough then Charlie is nice. Smart, young things are rough.
Charlie is not young.
@0: Charlie is furry.[(triple1)] Charlie is young.[(triple2)] Erin is furry.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] Gary is smart.[(triple8)] Harry is cold.[(triple9)] Harry is young.[(triple10)] @1: Charlie is smart.[(((triple1 triple2) -> rule1))] @2: Charlie is rough.[(((((triple1 triple2) -> rule1) triple2) -> rule3))] @3: Charlie is nice.[(((((((triple1 triple2) -> rule1) triple2) -> rule3)) -> rule2))]