Dave is round. Erin is blue. Erin is nice. Erin is young. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is round. Harry is young. Red things are green. Red things are green.
Dave is green.
@0: Dave is round.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Erin is young.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Harry is green.[(((triple8) -> rule1) OR ((triple8) -> rule2))]