Bob is green. Bob is white. Dave is big. Dave is blue. Dave is furry. Dave is not green. Dave is white. White people are blue. Furry, white people are round. If someone is green and blue then they are furry. Green people are white. If Bob is blue then Bob is red. If someone is green and not white then they are big. If someone is furry then they are red. If someone is green and not big then they are red.
Bob is not blue.
@0: Bob is green.[(triple1)] Bob is white.[(triple2 OR ((triple1) -> rule4))] Dave is big.[(triple3)] Dave is blue.[(triple4 OR ((triple7) -> rule1))] Dave is furry.[(triple5)] Dave is not green.[(triple6)] Dave is white.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] Dave is red.[(((triple5) -> rule7))] Dave is round.[(((triple5 triple7) -> rule2))] @2: Bob is furry.[(((triple1 ((triple2) -> rule1)) -> rule3) OR ((triple1 ((((triple1) -> rule4)) -> rule1)) -> rule3))] Bob is red.[(((((triple2) -> rule1)) -> rule5) OR ((((((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((triple1 ((((triple1) -> rule4)) -> rule1)) -> rule3)) -> rule7))] @3: Bob is round.[(((((triple1 ((triple2) -> rule1)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule2) OR ((((triple1 ((((triple1) -> rule4)) -> rule1)) -> rule3) triple2) -> rule2) OR ((((triple1 ((((triple1) -> rule4)) -> rule1)) -> rule3) ((triple1) -> rule4)) -> rule2))]