Charlie is blue. Charlie is cold. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Erin is cold. Erin is rough. Gary is blue. Gary is cold. Gary is round. Harry is blue. Harry is green. Harry is red. Harry is rough. All round, blue people are red. If someone is rough then they are round.
Harry is blue.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4 OR ((triple6 triple1) -> rule1) OR ((((triple5) -> rule2) triple1) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple5) -> rule2))] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is round.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is red.[(triple15 OR ((((triple16) -> rule2) triple13) -> rule1))] Harry is rough.[(triple16)] @1: Erin is round.[(((triple9) -> rule2))] Gary is red.[(((triple12 triple10) -> rule1))] Harry is round.[(((triple16) -> rule2))]