Erin is blue. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is blue. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is young. Harry is quiet. Harry is red. Harry is white. If something is blue and rough then it is white. If something is red and white then it is quiet.
Harry is young.
@0: Erin is blue.[(triple1)] Erin is quiet.[(triple2 OR ((triple3 ((triple1 triple4) -> rule1)) -> rule2))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6)] Gary is blue.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11 OR ((triple7 triple9) -> rule1))] Gary is young.[(triple12)] Harry is quiet.[(triple13 OR ((triple14 triple15) -> rule2))] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Erin is white.[(((triple1 triple4) -> rule1))]