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