Dave is quiet. Erin is white. Gary is furry. Harry is young. Quiet people are round. Furry people are quiet. Young people are furry. White, big people are young. If someone is young then they are red. Big, quiet people are round.
Erin is big.
@0: Dave is quiet.[(triple1)] Erin is white.[(triple2)] Gary is furry.[(triple3)] Harry is young.[(triple4)] @1: Dave is round.[(((triple1) -> rule1))] Gary is quiet.[(((triple3) -> rule2))] Harry is furry.[(((triple4) -> rule3))] Harry is red.[(((triple4) -> rule5))] @2: Gary is round.[(((((triple3) -> rule2)) -> rule1))] Harry is quiet.[(((((triple4) -> rule3)) -> rule2))] @3: Harry is round.[(((((((triple4) -> rule3)) -> rule2)) -> rule1))]