Anne is blue. Anne is cold. Anne is white. Bob is red. Bob is white. Bob is young. Gary is blue. Gary is green. Gary is kind. Gary is red. If someone is cold then they are white. All blue, red people are cold. If someone is blue then they are red. All cold people are red. All white people are blue. If Bob is green and Bob is red then Bob is blue.
Anne is cold.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] Anne is cold.[(triple2 OR ((triple1 ((triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule5) ((triple1) -> rule3)) -> rule2) OR ((triple1 ((((triple3) -> rule5)) -> rule3)) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule3)) -> rule2))] Anne is white.[(triple3 OR ((triple2) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule1))] Bob is red.[(triple4 OR ((((triple5) -> rule5)) -> rule3))] Bob is white.[(triple5)] Bob is young.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10 OR ((triple7) -> rule3))] @1: Anne is red.[(((triple1) -> rule3) OR ((triple2) -> rule4) OR ((((triple3) -> rule5)) -> rule3) OR ((((((triple2) -> rule1)) -> rule5)) -> rule3))] Bob is blue.[(((triple5) -> rule5))] Gary is cold.[(((triple7 triple10) -> rule2) OR ((triple7 ((triple7) -> rule3)) -> rule2))] @2: Bob is cold.[(((((triple5) -> rule5) triple4) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule3)) -> rule2))] Gary is white.[(((((triple7 triple10) -> rule2)) -> rule1) OR ((((triple7 ((triple7) -> rule3)) -> rule2)) -> rule1))]