Anne is nice. Erin is nice. Fiona is round. Harry is green. Green people are big. If someone is big then they are blue. If Harry is blue then Harry is rough. Blue people are big. Rough people are green. If Anne is rough then Anne is round.
Anne is rough.
@0: Anne is nice.[(triple1)] Erin is nice.[(triple2)] Fiona is round.[(triple3)] Harry is green.[(triple4)] @1: Harry is big.[(((triple4) -> rule1))] @2: Harry is blue.[(((((triple4) -> rule1)) -> rule2))] @3: Harry is rough.[(((((((triple4) -> rule1)) -> rule2)) -> rule3))]