Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Erin is green. Erin is round. Erin is smart. Gary is round. Gary is not white. Harry is green. Harry is nice. Harry is white. White things are rough. If something is white and green then it is quiet.
Harry is not rough.
@0: Charlie is green.[(triple1)] Charlie is not nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple7 triple1) -> rule2))] Charlie is rough.[(triple4 OR ((triple7) -> rule1))] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Erin is green.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Gary is not white.[(triple12)] Gary is round.[(triple11)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)] @1: Harry is quiet.[(((triple15 triple13) -> rule2))] Harry is rough.[(((triple15) -> rule1))]