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