Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is not rough. Anne is white. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is not red. Gary is not rough. Gary is white. If Anne is rough then Anne is not kind. Furry people are green. If someone is big and not green then they are kind.
Anne is white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2) -> rule2))] Anne is kind.[(triple4)] Anne is not rough.[(triple6)] Anne is red.[(triple5)] Anne is white.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10 OR ((triple9) -> rule2))] Gary is kind.[(triple11)] Gary is not red.[(triple12)] Gary is not rough.[(triple13)] Gary is white.[(triple14)]