Anne is not cold. Anne is green. Anne is nice. Anne is not rough. Anne is white. Anne is young. Bob is green. Bob is kind. Bob is not nice. Charlie is not cold. Charlie is kind. Charlie is rough. Charlie is white. Gary is green. Gary is nice. All rough people are not nice. If someone is green then they are young. All rough, young people are not cold. If someone is green and not rough then they are not cold. If Charlie is kind then Charlie is white. If someone is green and not young then they are white.
Anne is kind.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1 OR ((triple2 triple4) -> rule4))] Anne is not rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple2) -> rule2))] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is not nice.[(triple9)] Charlie is kind.[(triple11)] Charlie is not cold.[(triple10)] Charlie is rough.[(triple12)] Charlie is white.[(triple13 OR ((triple11) -> rule5))] Gary is green.[(triple14)] Gary is nice.[(triple15)] @1: Bob is young.[(((triple7) -> rule2))] Charlie is not nice.[(((triple12) -> rule1))] Gary is young.[(((triple14) -> rule2))]