Anne is nice. Charlie is nice. Erin is young. Harry is round. All green, young things are rough. Rough, green things are red. All nice, rough things are round. All round things are white. If something is young and green then it is rough. Green, white things are nice. All young things are green. All round things are nice.
Erin is not rough.
@0: Anne is nice.[(triple1)] Charlie is nice.[(triple2)] Erin is young.[(triple3)] Harry is round.[(triple4)] @1: Erin is green.[(((triple3) -> rule7))] Harry is nice.[(((triple4) -> rule8))] Harry is white.[(((triple4) -> rule4))] @2: Erin is rough.[(((triple3 ((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule1))] @3: Erin is red.[(((((triple3 ((triple3) -> rule7)) -> rule5) ((triple3) -> rule7)) -> rule2) OR ((((((triple3) -> rule7) triple3) -> rule1) ((triple3) -> rule7)) -> rule2))]