Anne is blue. Anne is nice. Anne is quiet. Anne is red. Anne is round. Charlie is not blue. Charlie is not nice. Charlie is round. Charlie is young. Dave is kind. Dave is nice. Dave is not quiet. Dave is red. Dave is round. Dave is young. All round, quiet things are blue. Round, blue things are young. Red things are young. Quiet things are nice. If something is quiet and blue then it is nice. If Dave is round then Dave is not quiet. If Anne is red and Anne is nice then Anne is quiet. If Anne is quiet and Anne is not blue then Anne is young.
Dave is not blue.
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple4 triple2) -> rule7)) -> rule1))] Anne is nice.[(triple2 OR ((triple3) -> rule4) OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple5 triple3) -> rule1)) -> rule5))] Anne is quiet.[(triple3 OR ((triple4 triple2) -> rule7))] Anne is red.[(triple4)] Anne is round.[(triple5)] Charlie is not blue.[(triple6)] Charlie is not nice.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is not quiet.[(triple12 OR ((triple14) -> rule6))] Dave is red.[(triple13)] Dave is round.[(triple14)] Dave is young.[(triple15 OR ((triple13) -> rule3))] @1: Anne is young.[(((triple4) -> rule3) OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple5 triple3) -> rule1)) -> rule2) OR ((triple5 ((triple5 ((triple4 triple2) -> rule7)) -> rule1)) -> rule2))]