Bob is furry. Bob is red. Bob is white. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is white. Dave is young. If Dave is big then Dave is blue. If Bob is cold and Bob is young then Bob is furry. Furry people are blue. If someone is blue and white then they are furry. If Bob is red and Bob is white then Bob is furry. All blue people are cold. Cold, red people are young. If someone is white and red then they are big.
Bob is not young.
@0: Bob is furry.[(triple1 OR ((triple2 triple3) -> rule5))] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is big.[(triple4 OR ((triple9 triple8) -> rule8))] Dave is blue.[(triple5 OR ((triple4) -> rule1) OR ((triple7) -> rule3) OR ((((triple9 triple8) -> rule8)) -> rule1))] Dave is cold.[(triple6 OR ((triple5) -> rule6) OR ((((triple4) -> rule1)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple9 triple8) -> rule8)) -> rule1)) -> rule6))] Dave is furry.[(triple7 OR ((triple5 triple9) -> rule4) OR ((((triple4) -> rule1) triple9) -> rule4) OR ((((((triple9 triple8) -> rule8)) -> rule1) triple9) -> rule4))] Dave is red.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple6 triple8) -> rule7) OR ((((triple5) -> rule6) triple8) -> rule7) OR ((((((triple4) -> rule1)) -> rule6) triple8) -> rule7) OR ((((((triple7) -> rule3)) -> rule6) triple8) -> rule7) OR ((((((((triple9 triple8) -> rule8)) -> rule1)) -> rule6) triple8) -> rule7))] @1: Bob is big.[(((triple3 triple2) -> rule8))] Bob is blue.[(((triple1) -> rule3) OR ((((triple2 triple3) -> rule5)) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule6) OR ((((((triple2 triple3) -> rule5)) -> rule3)) -> rule6))] @3: Bob is young.[(((((((triple1) -> rule3)) -> rule6) triple2) -> rule7) OR ((((((((triple2 triple3) -> rule5)) -> rule3)) -> rule6) triple2) -> rule7))]