Erin is blue. Erin is nice. Erin is smart. Gary is blue. Gary is green. Gary is nice. Gary is round. Gary is smart. Gary is young. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If someone is blue and nice then they are quiet.
Erin is not young.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is smart.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple10 triple12) -> rule1))] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Erin is quiet.[(((triple1 triple2) -> rule1))] Gary is quiet.[(((triple4 triple6) -> rule1))]