Anne is not young. Charlie is blue. Dave is smart. Harry is blue. White people are not rough. If Dave is red then Dave is not white. If someone is blue then they are smart. All blue people are white. Blue people are white. If someone is blue and not rough then they are young.
Anne is red.
@0: Anne is not young.[(triple1)] Charlie is blue.[(triple2)] Dave is smart.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is smart.[(((triple2) -> rule3))] Charlie is white.[(((triple2) -> rule4) OR ((triple2) -> rule5))] Harry is smart.[(((triple4) -> rule3))] Harry is white.[(((triple4) -> rule4) OR ((triple4) -> rule5))] @2: Charlie is not rough.[(((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] Harry is not rough.[(((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] @3: Charlie is young.[(((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((triple2 ((((triple2) -> rule5)) -> rule1)) -> rule6))] Harry is young.[(((triple4 ((((triple4) -> rule4)) -> rule1)) -> rule6) OR ((triple4 ((((triple4) -> rule5)) -> rule1)) -> rule6))]