Anne is furry. Anne is kind. Anne is red. Anne is smart. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Fiona is furry. Fiona is red. If Fiona is blue then Fiona is smart. All blue, smart people are nice. If Dave is kind then Dave is nice. If Anne is kind and Anne is nice then Anne is furry. Furry, red people are blue. Green people are blue. Green, red people are furry. Blue people are red.
Charlie is kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Charlie is furry.[(triple5 OR ((triple6 triple8) -> rule7) OR ((triple6 ((((triple6) -> rule6)) -> rule8)) -> rule7))] Charlie is green.[(triple6)] Charlie is nice.[(triple7 OR ((((triple6) -> rule6) triple9) -> rule2) OR ((((triple5 triple8) -> rule5) triple9) -> rule2) OR ((((((triple6 triple8) -> rule7) triple8) -> rule5) triple9) -> rule2))] Charlie is red.[(triple8 OR ((((triple6) -> rule6)) -> rule8))] Charlie is smart.[(triple9)] Dave is blue.[(triple10 OR ((triple12) -> rule6))] Dave is furry.[(triple11 OR ((triple12 ((triple10) -> rule8)) -> rule7) OR ((triple12 ((((triple12) -> rule6)) -> rule8)) -> rule7))] Dave is green.[(triple12)] Dave is kind.[(triple13)] Dave is smart.[(triple14)] Fiona is furry.[(triple15)] Fiona is red.[(triple16)] @1: Anne is blue.[(((triple1 triple3) -> rule5))] Charlie is blue.[(((triple6) -> rule6) OR ((triple5 triple8) -> rule5) OR ((((triple6 triple8) -> rule7) triple8) -> rule5))] Dave is nice.[(((triple13) -> rule3) OR ((triple10 triple14) -> rule2) OR ((((triple12) -> rule6) triple14) -> rule2))] Dave is red.[(((triple10) -> rule8) OR ((((triple12) -> rule6)) -> rule8))] Fiona is blue.[(((triple15 triple16) -> rule5))] @2: Anne is nice.[(((((triple1 triple3) -> rule5) triple4) -> rule2))] Fiona is smart.[(((((triple15 triple16) -> rule5)) -> rule1))] @3: Fiona is nice.[(((((triple15 triple16) -> rule5) ((((triple15 triple16) -> rule5)) -> rule1)) -> rule2))]