Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is round. Bob is white. Bob is young. White, red people are blue. If Bob is cold then Bob is young. If someone is round then they are cold. If someone is blue and white then they are kind. If Bob is young and Bob is white then Bob is kind. If someone is cold and red then they are young.
Bob is not blue.
@0: Bob is blue.[(triple1 OR ((triple6 triple4) -> rule1))] Bob is cold.[(triple2 OR ((triple5) -> rule3))] Bob is kind.[(triple3 OR ((triple1 triple6) -> rule4) OR ((triple7 triple6) -> rule5) OR ((((triple2) -> rule2) triple6) -> rule5) OR ((((triple2 triple4) -> rule6) triple6) -> rule5) OR ((((triple6 triple4) -> rule1) triple6) -> rule4) OR ((((((triple5) -> rule3)) -> rule2) triple6) -> rule5) OR ((((((triple5) -> rule3) triple4) -> rule6) triple6) -> rule5))] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple2) -> rule2) OR ((triple2 triple4) -> rule6) OR ((((triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule3) triple4) -> rule6))]