Anne is green. Anne is quiet. Anne is red. Anne is white. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Gary is nice. Gary is quiet. Gary is smart. Harry is cold. Harry is red. Harry is white. All nice things are red. Nice, white things are smart. All nice things are red. If something is white then it is quiet. Cold, smart things are nice. If something is cold then it is white.
Charlie is nice.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((triple4) -> rule4))] Anne is red.[(triple3)] Anne is white.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6 OR ((triple9) -> rule4))] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] Harry is cold.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple13) -> rule6))] @1: Gary is red.[(((triple10) -> rule1) OR ((triple10) -> rule3))] Harry is quiet.[(((triple15) -> rule4) OR ((((triple13) -> rule6)) -> rule4))]