Charlie is big. Erin is blue. Fiona is furry. Big people are blue. If someone is blue then they are furry. All kind, rough people are furry. All big, blue people are kind. If someone is kind then they are young. If Charlie is white and Charlie is rough then Charlie is young. All white, young people are big. All furry, big people are young.
Erin is blue.
@0: Charlie is big.[(triple1)] Erin is blue.[(triple2)] Fiona is furry.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is furry.[(((triple2) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule1)) -> rule2))] Charlie is kind.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Charlie is young.[(((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2) triple1) -> rule8))]