Bob is blue. Bob is green. Dave is white. Fiona is blue. Fiona is white. Gary is white. Gary is young. If something is blue then it is red. If something is white and kind then it is blue. If something is round and white then it is blue. Green things are white. If Bob is green and Bob is round then Bob is blue. White things are round. If something is kind and young then it is round. All red things are white.
Dave is blue.
@0: Bob is blue.[(triple1 OR ((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule5) OR ((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule3))] Bob is green.[(triple2)] Dave is white.[(triple3)] Fiona is blue.[(triple4 OR ((((triple5) -> rule6) triple5) -> rule3))] Fiona is white.[(triple5 OR ((((triple4) -> rule1)) -> rule8))] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule1) OR ((((triple2 ((((triple2) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule3)) -> rule1))] Bob is white.[(((triple2) -> rule4) OR ((((triple1) -> rule1)) -> rule8))] Dave is round.[(((triple3) -> rule6))] Fiona is red.[(((triple4) -> rule1) OR ((((((triple5) -> rule6) triple5) -> rule3)) -> rule1))] Fiona is round.[(((triple5) -> rule6) OR ((((((triple4) -> rule1)) -> rule8)) -> rule6))] Gary is round.[(((triple6) -> rule6))] @2: Bob is round.[(((((triple2) -> rule4)) -> rule6) OR ((((((triple1) -> rule1)) -> rule8)) -> rule6))] Dave is blue.[(((((triple3) -> rule6) triple3) -> rule3))] Gary is blue.[(((((triple6) -> rule6) triple6) -> rule3))] @3: Dave is red.[(((((((triple3) -> rule6) triple3) -> rule3)) -> rule1))] Gary is red.[(((((((triple6) -> rule6) triple6) -> rule3)) -> rule1))]