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