Dave is big. Dave is kind. Dave is nice. If Dave is white and Dave is big then Dave is blue. All blue, nice things are kind. Nice, red things are blue. All blue things are red. All nice things are red. If something is red and nice then it is big. All smart things are nice. All big things are white.
Dave is nice.
@0: Dave is big.[(triple1 OR ((((triple3) -> rule5) triple3) -> rule6))] Dave is kind.[(triple2 OR ((((triple3 ((triple3) -> rule5)) -> rule3) triple3) -> rule2) OR ((((((triple1) -> rule8) triple1) -> rule1) triple3) -> rule2) OR ((((((triple1) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule1) triple3) -> rule2) OR ((((((((((triple3) -> rule5) triple3) -> rule6)) -> rule8) triple1) -> rule1) triple3) -> rule2) OR ((((((((((triple3) -> rule5) triple3) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule1) triple3) -> rule2))] Dave is nice.[(triple3)] @1: Dave is red.[(((triple3) -> rule5) OR ((((((triple1) -> rule8) triple1) -> rule1)) -> rule4))] Dave is white.[(((triple1) -> rule8) OR ((((((triple3) -> rule5) triple3) -> rule6)) -> rule8))] @2: Dave is blue.[(((triple3 ((triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule8) triple1) -> rule1) OR ((((triple1) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule1) OR ((((((((triple3) -> rule5) triple3) -> rule6)) -> rule8) triple1) -> rule1) OR ((((((((triple3) -> rule5) triple3) -> rule6)) -> rule8) ((((triple3) -> rule5) triple3) -> rule6)) -> rule1))]