Charlie is kind. Charlie is nice. Charlie is quiet. Dave is smart. Erin is blue. Erin is kind. Erin is nice. Fiona is green. Fiona is nice. Fiona is quiet. If Fiona is green and Fiona is blue then Fiona is nice. If something is quiet then it is furry. All kind things are smart. If something is blue then it is nice. All smart, nice things are green. If something is blue then it is nice. All smart things are furry. If something is nice and blue then it is smart.
Fiona is not smart.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple5) -> rule4) OR ((triple5) -> rule6))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule2) OR ((((triple1) -> rule3)) -> rule7))] Charlie is smart.[(((triple1) -> rule3))] Dave is furry.[(((triple4) -> rule7))] Erin is smart.[(((triple6) -> rule3) OR ((triple7 triple5) -> rule8) OR ((((triple5) -> rule4) triple5) -> rule8) OR ((((triple5) -> rule6) triple5) -> rule8))] Fiona is furry.[(((triple10) -> rule2))] @2: Charlie is green.[(((((triple1) -> rule3) triple2) -> rule5))] Erin is furry.[(((((triple6) -> rule3)) -> rule7) OR ((((triple7 triple5) -> rule8)) -> rule7) OR ((((((triple5) -> rule4) triple5) -> rule8)) -> rule7) OR ((((((triple5) -> rule6) triple5) -> rule8)) -> rule7))] Erin is green.[(((((triple6) -> rule3) triple7) -> rule5) OR ((((triple7 triple5) -> rule8) triple7) -> rule5) OR ((((triple6) -> rule3) ((triple5) -> rule4)) -> rule5) OR ((((triple6) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((((triple7 triple5) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((triple7 triple5) -> rule8) ((triple5) -> rule6)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule8) triple7) -> rule5) OR ((((((triple5) -> rule6) triple5) -> rule8) triple7) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule8) ((triple5) -> rule6)) -> rule5) OR ((((((triple5) -> rule6) triple5) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule6) triple5) -> rule8) ((triple5) -> rule6)) -> rule5))]