Anne is white. Charlie is not young. Dave is red. Erin is big. All nice things are red. White things are young. If something is red and not young then it is not kind. Red things are kind. If something is young then it is big. If something is kind then it is big. If Anne is white and Anne is kind then Anne is big. All big things are round.
Charlie is not round.
@0: Anne is white.[(triple1)] Charlie is not young.[(triple2)] Dave is red.[(triple3)] Erin is big.[(triple4)] @1: Anne is young.[(((triple1) -> rule2))] Dave is kind.[(((triple3) -> rule4))] Erin is round.[(((triple4) -> rule8))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule5))] Dave is big.[(((((triple3) -> rule4)) -> rule6))] @3: Anne is round.[(((((((triple1) -> rule2)) -> rule5)) -> rule8))] Dave is round.[(((((((triple3) -> rule4)) -> rule6)) -> rule8))]