Charlie is young. Dave is not blue. Erin is smart. Gary is round. Blue things are quiet. Cold things are round. All round things are furry. All round, blue things are furry. All cold things are young. Smart things are cold.
Erin is furry.
@0: Charlie is young.[(triple1)] Dave is not blue.[(triple2)] Erin is smart.[(triple3)] Gary is round.[(triple4)] @1: Erin is cold.[(((triple3) -> rule6))] Gary is furry.[(((triple4) -> rule3))] @2: Erin is round.[(((((triple3) -> rule6)) -> rule2))] Erin is young.[(((((triple3) -> rule6)) -> rule5))] @3: Erin is furry.[(((((((triple3) -> rule6)) -> rule2)) -> rule3))]