Anne is young. Dave is blue. Dave is green. Dave is kind. Dave is not quiet. Dave is white. Dave is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is white. Fiona is young. Harry is green. Harry is not white. Blue, kind people are nice. If someone is young and kind then they are blue. Green people are blue. Nice, white people are green. Quiet, white people are kind. Blue, green people are kind.
Harry is quiet.
@0: Anne is young.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule3) OR ((triple7 triple4) -> rule2))] Dave is green.[(triple3 OR ((((triple2 triple4) -> rule1) triple6) -> rule4) OR ((((((triple7 triple4) -> rule2) triple4) -> rule1) triple6) -> rule4))] Dave is kind.[(triple4 OR ((triple2 triple3) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule6))] Dave is not quiet.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple8 OR ((triple10 triple12) -> rule4) OR ((((((triple13 triple9) -> rule2) triple9) -> rule1) triple12) -> rule4) OR ((((((triple13 triple9) -> rule2) ((triple11 triple12) -> rule5)) -> rule1) triple12) -> rule4) OR ((((((triple13 ((triple11 triple12) -> rule5)) -> rule2) triple9) -> rule1) triple12) -> rule4) OR ((((((triple13 ((triple11 triple12) -> rule5)) -> rule2) ((triple11 triple12) -> rule5)) -> rule1) triple12) -> rule4))] Fiona is kind.[(triple9 OR ((triple11 triple12) -> rule5) OR ((((triple8) -> rule3) triple8) -> rule6) OR ((((triple8) -> rule3) ((triple10 triple12) -> rule4)) -> rule6) OR ((((((triple10 triple12) -> rule4)) -> rule3) triple8) -> rule6) OR ((((((triple10 triple12) -> rule4)) -> rule3) ((triple10 triple12) -> rule4)) -> rule6))] Fiona is nice.[(triple10 OR ((((triple8) -> rule3) triple9) -> rule1) OR ((((triple13 triple9) -> rule2) triple9) -> rule1) OR ((((triple8) -> rule3) ((triple11 triple12) -> rule5)) -> rule1) OR ((((triple13 triple9) -> rule2) ((triple11 triple12) -> rule5)) -> rule1) OR ((((triple13 ((triple11 triple12) -> rule5)) -> rule2) triple9) -> rule1) OR ((((triple8) -> rule3) ((((triple8) -> rule3) triple8) -> rule6)) -> rule1) OR ((((triple13 triple9) -> rule2) ((((triple8) -> rule3) triple8) -> rule6)) -> rule1) OR ((((triple13 ((triple11 triple12) -> rule5)) -> rule2) ((triple11 triple12) -> rule5)) -> rule1) OR ((((triple13 ((triple11 triple12) -> rule5)) -> rule2) ((((triple8) -> rule3) triple8) -> rule6)) -> rule1))] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] Fiona is young.[(triple13)] Harry is green.[(triple14)] Harry is not white.[(triple15)] @1: Dave is nice.[(((triple2 triple4) -> rule1) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule3) triple4) -> rule1) OR ((((triple7 triple4) -> rule2) triple4) -> rule1) OR ((((triple3) -> rule3) ((triple2 triple3) -> rule6)) -> rule1) OR ((((triple7 triple4) -> rule2) ((triple2 triple3) -> rule6)) -> rule1) OR ((triple2 ((((triple3) -> rule3) triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule6)) -> rule1) OR ((((triple7 triple4) -> rule2) ((((triple3) -> rule3) triple3) -> rule6)) -> rule1))] Fiona is blue.[(((triple8) -> rule3) OR ((triple13 triple9) -> rule2) OR ((((triple10 triple12) -> rule4)) -> rule3) OR ((triple13 ((triple11 triple12) -> rule5)) -> rule2))] Harry is blue.[(((triple14) -> rule3))] @2: Harry is kind.[(((((triple14) -> rule3) triple14) -> rule6))] @3: Harry is nice.[(((((triple14) -> rule3) ((((triple14) -> rule3) triple14) -> rule6)) -> rule1))]