Anne is big. Anne is nice. Anne is young. Charlie is nice. Charlie is red. Charlie is smart. Erin is blue. Blue things are young. Nice things are young. All young, red things are nice. All young things are smart. Blue things are smart. Young things are red.
Charlie is not kind.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((triple3 ((triple3) -> rule6)) -> rule3))] Anne is young.[(triple3 OR ((triple2) -> rule2))] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((((triple4) -> rule2)) -> rule6))] Charlie is smart.[(triple6 OR ((((triple4) -> rule2)) -> rule4))] Erin is blue.[(triple7)] @1: Anne is red.[(((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Anne is smart.[(((triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Charlie is young.[(((triple4) -> rule2))] Erin is smart.[(((triple7) -> rule5) OR ((((triple7) -> rule1)) -> rule4))] Erin is young.[(((triple7) -> rule1))] @2: Erin is red.[(((((triple7) -> rule1)) -> rule6))] @3: Erin is nice.[(((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule6)) -> rule3))]