Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is rough. Gary is cold. Gary is furry. Gary is nice. Gary is not rough. Harry is blue. Harry is cold. Harry is rough. If someone is blue and not rough then they are not green. If someone is cold and big then they are not furry. All big people are blue.
Gary is not blue.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not rough.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is rough.[(triple12)] @1: Erin is blue.[(((triple1) -> rule3))]