Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is quiet. Charlie is red. Gary is cold. Gary is furry. Gary is quiet. Gary is red. Gary is white. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. If something is quiet then it is red. If Gary is red then Gary is green.
Harry is not white.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple4)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple5) -> rule1))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10 OR ((triple9) -> rule1))] Gary is white.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] @1: Gary is green.[(((triple10) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Harry is red.[(((triple15) -> rule1))]