Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Gary is kind. Gary is nice. Gary is round. All furry, nice people are red. Red, furry people are green. If Gary is furry then Gary is green. If someone is red and furry then they are quiet. If someone is kind then they are furry. All kind, round people are furry.
Dave is not green.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule5))] Anne is green.[(triple2 OR ((((triple1 triple4) -> rule1) triple1) -> rule2) OR ((((triple1 triple4) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule1) triple1) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule1) ((triple3) -> rule5)) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((((triple1 triple4) -> rule1) triple1) -> rule4) OR ((((triple1 triple4) -> rule1) ((triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule5) triple4) -> rule1) triple1) -> rule4) OR ((((((triple3) -> rule5) triple4) -> rule1) ((triple3) -> rule5)) -> rule4))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule4) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6) -> rule5)) -> rule4) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule4))] Dave is round.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Anne is red.[(((triple1 triple4) -> rule1) OR ((((triple3) -> rule5) triple4) -> rule1))] Dave is furry.[(((triple6) -> rule5) OR ((triple6 triple9) -> rule6))] Gary is furry.[(((triple10) -> rule5) OR ((triple10 triple12) -> rule6))] @2: Dave is red.[(((((triple6) -> rule5) triple7) -> rule1) OR ((((triple6 triple9) -> rule6) triple7) -> rule1))] Gary is green.[(((((triple10) -> rule5)) -> rule3) OR ((((triple10 triple12) -> rule6)) -> rule3) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule2) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule2))] Gary is red.[(((((triple10) -> rule5) triple11) -> rule1) OR ((((triple10 triple12) -> rule6) triple11) -> rule1))] @3: Dave is green.[(((((((triple6) -> rule5) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6) -> rule5) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6 triple9) -> rule6) triple7) -> rule1) ((triple6 triple9) -> rule6)) -> rule2))] Gary is quiet.[(((((((triple10) -> rule5) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10) -> rule5) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple10 triple12) -> rule6) triple11) -> rule1) ((triple10 triple12) -> rule6)) -> rule4))]