Anne is blue. Anne is kind. Anne is quiet. Bob is kind. Bob is not quiet. Bob is white. Bob is young. Dave is blue. Dave is kind. Dave is not quiet. Dave is white. Dave is young. If something is quiet and big then it is green. If something is blue and not kind then it is green. If something is kind and white then it is big. Quiet things are big. If Anne is young and Anne is big then Anne is quiet. All green things are white. If Bob is white and Bob is not kind then Bob is green. Quiet, green things are blue.
Dave is not green.
@0: Anne is blue.[(triple1 OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule1)) -> rule8))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Bob is kind.[(triple4)] Bob is not quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is not quiet.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] @1: Anne is big.[(((triple3) -> rule4))] Bob is big.[(((triple4 triple6) -> rule3))] Dave is big.[(((triple9 triple11) -> rule3))] @2: Anne is green.[(((triple3 ((triple3) -> rule4)) -> rule1))] @3: Anne is white.[(((((triple3 ((triple3) -> rule4)) -> rule1)) -> rule6))]