Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Charlie is cold. Charlie is kind. Charlie is nice. Gary is cold. Gary is red. Harry is cold. Harry is kind. Harry is rough. Kind people are quiet. All green, cold people are red. All red, rough people are green.
Gary is nice.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple6 triple7) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple3) -> rule1))] Anne is red.[(triple6 OR ((triple2 triple1) -> rule2))] Anne is rough.[(triple7)] Charlie is cold.[(triple8)] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Gary is cold.[(triple11)] Gary is red.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is rough.[(triple15)] @1: Charlie is quiet.[(((triple9) -> rule1))] Harry is quiet.[(((triple14) -> rule1))]