Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is round. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. If Dave is green then Dave is nice. If something is round then it is green. All nice, blue things are round. Blue, green things are nice. All blue, round things are green. Quiet, smart things are blue. All nice, furry things are round. If something is round then it is furry.
Dave is not smart.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule8) OR ((((((triple1 triple3) -> rule4) triple1) -> rule3)) -> rule8))] Anne is green.[(triple3 OR ((triple5) -> rule2) OR ((triple1 triple5) -> rule5))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((((triple1 triple3) -> rule4) triple1) -> rule3) OR ((((triple1 triple3) -> rule4) triple2) -> rule7))] Dave is blue.[(triple6)] Dave is furry.[(triple7 OR ((triple10) -> rule8) OR ((((triple8 triple6) -> rule3)) -> rule8))] Dave is nice.[(triple8 OR ((((triple10) -> rule2)) -> rule1) OR ((((triple6 triple10) -> rule5)) -> rule1) OR ((triple6 ((triple10) -> rule2)) -> rule4) OR ((triple6 ((triple6 triple10) -> rule5)) -> rule4))] Dave is quiet.[(triple9)] Dave is round.[(triple10 OR ((triple8 triple6) -> rule3) OR ((triple8 triple7) -> rule7))] Fiona is blue.[(triple11 OR ((triple14 triple15) -> rule6))] Fiona is furry.[(triple12 OR ((((triple13 triple11) -> rule3)) -> rule8) OR ((((triple13 ((triple14 triple15) -> rule6)) -> rule3)) -> rule8))] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is nice.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple5) -> rule2)) -> rule4) OR ((triple1 ((triple1 triple5) -> rule5)) -> rule4))] Dave is green.[(((triple10) -> rule2) OR ((triple6 triple10) -> rule5) OR ((((triple8 triple6) -> rule3)) -> rule2) OR ((((triple8 triple7) -> rule7)) -> rule2) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule5) OR ((triple6 ((triple8 triple7) -> rule7)) -> rule5))] Fiona is round.[(((triple13 triple11) -> rule3) OR ((triple13 triple12) -> rule7) OR ((triple13 ((triple14 triple15) -> rule6)) -> rule3))] @2: Fiona is green.[(((((triple13 triple11) -> rule3)) -> rule2) OR ((((triple13 triple12) -> rule7)) -> rule2) OR ((triple11 ((triple13 triple11) -> rule3)) -> rule5) OR ((triple11 ((triple13 triple12) -> rule7)) -> rule5) OR ((((triple14 triple15) -> rule6) ((triple13 triple11) -> rule3)) -> rule5) OR ((((triple14 triple15) -> rule6) ((triple13 triple12) -> rule7)) -> rule5) OR ((((triple13 ((triple14 triple15) -> rule6)) -> rule3)) -> rule2) OR ((triple11 ((triple13 ((triple14 triple15) -> rule6)) -> rule3)) -> rule5) OR ((((triple14 triple15) -> rule6) ((triple13 ((triple14 triple15) -> rule6)) -> rule3)) -> rule5))]