Gary is not blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is not smart. If Gary is red then Gary is green. If someone is kind and not red then they are blue.
Gary is blue.
@0: Gary is green.[(triple2 OR ((triple5) -> rule1))] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is not blue.[(triple1)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is not smart.[(triple14)] Harry is red.[(triple12)] Harry is rough.[(triple13)]