Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is white. Bob is young. All white, red things are cold. If Bob is furry and Bob is big then Bob is white. White, blue things are cold. Cold things are blue. If Bob is blue then Bob is red. Furry, cold things are big. If Bob is big and Bob is young then Bob is white. All big, cold things are blue.
Bob is not red.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple6 triple2) -> rule3)) -> rule6) OR ((triple4 ((triple6 triple5) -> rule1)) -> rule6) OR ((triple4 ((triple6 ((triple2) -> rule5)) -> rule1)) -> rule6))] Bob is blue.[(triple2 OR ((triple3) -> rule4) OR ((triple1 triple3) -> rule8) OR ((((triple6 triple5) -> rule1)) -> rule4) OR ((triple1 ((triple6 triple5) -> rule1)) -> rule8) OR ((((triple4 triple3) -> rule6) triple3) -> rule8) OR ((((triple4 triple3) -> rule6) ((triple6 triple5) -> rule1)) -> rule8) OR ((((((triple1 triple7) -> rule7) triple5) -> rule1)) -> rule4) OR ((((((triple4 triple1) -> rule2) triple5) -> rule1)) -> rule4) OR ((triple1 ((((triple1 triple7) -> rule7) triple5) -> rule1)) -> rule8) OR ((triple1 ((((triple4 triple1) -> rule2) triple5) -> rule1)) -> rule8) OR ((((triple4 ((triple6 triple5) -> rule1)) -> rule6) triple3) -> rule8) OR ((((triple4 triple3) -> rule6) ((((triple1 triple7) -> rule7) triple5) -> rule1)) -> rule8) OR ((((triple4 triple3) -> rule6) ((((triple4 triple1) -> rule2) triple5) -> rule1)) -> rule8) OR ((((triple4 ((triple6 triple5) -> rule1)) -> rule6) ((triple6 triple5) -> rule1)) -> rule8) OR ((((triple4 ((triple6 triple5) -> rule1)) -> rule6) ((((triple1 triple7) -> rule7) triple5) -> rule1)) -> rule8) OR ((((triple4 ((triple6 triple5) -> rule1)) -> rule6) ((((triple4 triple1) -> rule2) triple5) -> rule1)) -> rule8))] Bob is cold.[(triple3 OR ((triple6 triple2) -> rule3) OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple2) -> rule5)) -> rule1) OR ((((triple1 triple7) -> rule7) triple2) -> rule3) OR ((((triple1 triple7) -> rule7) triple5) -> rule1) OR ((((triple4 triple1) -> rule2) triple2) -> rule3) OR ((((triple4 triple1) -> rule2) triple5) -> rule1) OR ((((triple1 triple7) -> rule7) ((triple2) -> rule5)) -> rule1) OR ((((triple4 triple1) -> rule2) ((triple2) -> rule5)) -> rule1))] Bob is furry.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule5) OR ((((triple3) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule8)) -> rule5) OR ((((((triple4 triple3) -> rule6) triple3) -> rule8)) -> rule5))] Bob is white.[(triple6 OR ((triple1 triple7) -> rule7) OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule2) OR ((((triple4 triple3) -> rule6) triple7) -> rule7))] Bob is young.[(triple7)]