Anne is big. Anne is blue. Anne is furry. Anne is round. Anne is white. Anne is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is round. Dave is big. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is round. If something is big and blue then it is green. All big, white things are furry. Green things are round. All blue things are green. Round, furry things are white. Blue, white things are round.
Dave is not green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple1 triple5) -> rule2))] Anne is round.[(triple4 OR ((triple2 triple5) -> rule6) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple1 triple2) -> rule1)) -> rule3))] Anne is white.[(triple5 OR ((triple4 triple3) -> rule5) OR ((((((triple2) -> rule4)) -> rule3) triple3) -> rule5) OR ((((((triple1 triple2) -> rule1)) -> rule3) triple3) -> rule5))] Anne is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((triple7) -> rule4))] Charlie is round.[(triple10 OR ((triple9) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] Dave is big.[(triple11)] Dave is round.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14)] Fiona is big.[(triple15)] Fiona is round.[(triple16)] @1: Anne is green.[(((triple2) -> rule4) OR ((triple1 triple2) -> rule1))] Charlie is white.[(((triple10 triple8) -> rule5) OR ((((triple9) -> rule3) triple8) -> rule5) OR ((((((triple7) -> rule4)) -> rule3) triple8) -> rule5))] Dave is furry.[(((triple11 triple13) -> rule2))]