Bob is blue. Bob is green. Bob is kind. Bob is red. Dave is white. Erin is white. Harry is green. If something is red and kind then it is white. White things are young. If Harry is green and Harry is blue then Harry is nice. Green, young things are blue. If Bob is white then Bob is young. If something is young and blue then it is nice.
Harry is not white.
@0: Bob is blue.[(triple1 OR ((triple2 ((((triple4 triple3) -> rule1)) -> rule2)) -> rule4) OR ((triple2 ((((triple4 triple3) -> rule1)) -> rule5)) -> rule4))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Dave is white.[(triple5)] Erin is white.[(triple6)] Harry is green.[(triple7)] @1: Bob is white.[(((triple4 triple3) -> rule1))] Dave is young.[(((triple5) -> rule2))] Erin is young.[(((triple6) -> rule2))] @2: Bob is young.[(((((triple4 triple3) -> rule1)) -> rule2) OR ((((triple4 triple3) -> rule1)) -> rule5))] @3: Bob is nice.[(((((((triple4 triple3) -> rule1)) -> rule2) triple1) -> rule6) OR ((((((triple4 triple3) -> rule1)) -> rule5) triple1) -> rule6) OR ((((((triple4 triple3) -> rule1)) -> rule2) ((triple2 ((((triple4 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple4 triple3) -> rule1)) -> rule2) ((triple2 ((((triple4 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple4 triple3) -> rule1)) -> rule5) ((triple2 ((((triple4 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple4 triple3) -> rule1)) -> rule5) ((triple2 ((((triple4 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6))]