Anne is blue. Charlie is red. Erin is nice. Harry is red. All red people are quiet. Blue people are round. If someone is blue and not nice then they are round. If someone is big then they are round. If someone is quiet and red then they are big. Red, quiet people are not blue.
Anne is big.
@0: Anne is blue.[(triple1)] Charlie is red.[(triple2)] Erin is nice.[(triple3)] Harry is red.[(triple4)] @1: Anne is round.[(((triple1) -> rule2))] Charlie is quiet.[(((triple2) -> rule1))] Harry is quiet.[(((triple4) -> rule1))] @2: Charlie is big.[(((((triple2) -> rule1) triple2) -> rule5))] Charlie is not blue.[(((triple2 ((triple2) -> rule1)) -> rule6))] Harry is big.[(((((triple4) -> rule1) triple4) -> rule5))] Harry is not blue.[(((triple4 ((triple4) -> rule1)) -> rule6))] @3: Charlie is round.[(((((((triple2) -> rule1) triple2) -> rule5)) -> rule4))] Harry is round.[(((((((triple4) -> rule1) triple4) -> rule5)) -> rule4))]