Anne is big. Charlie is not blue. Dave is kind. Erin is not big. If someone is red then they are not young. If someone is nice then they are blue. If someone is kind and not round then they are blue. Big, blue people are red. All big people are red. Kind people are big.
Dave is young.
@0: Anne is big.[(triple1)] Charlie is not blue.[(triple2)] Dave is kind.[(triple3)] Erin is not big.[(triple4)] @1: Anne is red.[(((triple1) -> rule5))] Dave is big.[(((triple3) -> rule6))] @2: Anne is not young.[(((((triple1) -> rule5)) -> rule1))] Dave is red.[(((((triple3) -> rule6)) -> rule5))] @3: Dave is not young.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]