Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is white. Dave is green. Dave is nice. Dave is red. Dave is white. Dave is young. All furry, nice things are green. White things are blue. White, nice things are young. If something is young and blue then it is nice. Nice, red things are young. If something is young then it is red.
Bob is not furry.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((((triple5 triple3) -> rule3)) -> rule6))] Bob is white.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7 OR ((triple10 ((triple9) -> rule2)) -> rule4))] Dave is red.[(triple8 OR ((triple10) -> rule6) OR ((((triple9 triple7) -> rule3)) -> rule6))] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple7 triple8) -> rule5) OR ((triple9 triple7) -> rule3))] @1: Bob is young.[(((triple3 triple4) -> rule5) OR ((triple5 triple3) -> rule3))] Dave is blue.[(((triple9) -> rule2))]