Anne is not rough. Anne is smart. Erin is blue. Erin is kind. Erin is rough. Erin is smart. Gary is big. Gary is blue. Gary is kind. Gary is red. Gary is not rough. Gary is smart. Harry is big. Harry is not blue. Harry is rough. All red people are smart. All red, rough people are kind. If someone is nice and not rough then they are kind. Kind people are not nice. If someone is big then they are not nice. If someone is rough and not smart then they are big. If someone is red and nice then they are blue. Nice people are blue.
Gary is not smart.
@0: Anne is not rough.[(triple1)] Anne is smart.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is not rough.[(triple11)] Gary is red.[(triple10)] Gary is smart.[(triple12 OR ((triple10) -> rule1))] Harry is big.[(triple13)] Harry is not blue.[(triple14)] Harry is rough.[(triple15)] @1: Erin is not nice.[(((triple4) -> rule4))] Gary is not nice.[(((triple7) -> rule5) OR ((triple9) -> rule4))] Harry is not nice.[(((triple13) -> rule5))]