Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is smart. Bob is white. If someone is big then they are red. All green people are cold. If someone is cold and kind then they are big. Cold people are big. All green, white people are big. Red, green people are smart.
Bob is not white.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4) OR ((triple2 triple4) -> rule3) OR ((triple3 triple7) -> rule5) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple4) -> rule3))] Bob is cold.[(triple2 OR ((triple3) -> rule2))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2 triple4) -> rule3)) -> rule1) OR ((((triple3 triple7) -> rule5)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule2) triple4) -> rule3)) -> rule1))] Bob is smart.[(triple6 OR ((triple5 triple3) -> rule6) OR ((((triple1) -> rule1) triple3) -> rule6) OR ((((((triple2) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((triple2 triple4) -> rule3)) -> rule1) triple3) -> rule6) OR ((((((triple3 triple7) -> rule5)) -> rule1) triple3) -> rule6) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((triple3) -> rule2) triple4) -> rule3)) -> rule1) triple3) -> rule6))] Bob is white.[(triple7)]