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