Charlie is furry. Charlie is green. Charlie is kind. Erin is blue. Erin is green. Erin is quiet. Erin is young. Fiona is young. Harry is blue. Harry is young. If someone is blue then they are furry. Green people are quiet. If someone is furry then they are green.
Harry is not furry.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple1) -> rule3))] Charlie is kind.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5 OR ((((triple4) -> rule1)) -> rule3))] Erin is quiet.[(triple6 OR ((triple5) -> rule2) OR ((((((triple4) -> rule1)) -> rule3)) -> rule2))] Erin is young.[(triple7)] Fiona is young.[(triple8)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Charlie is quiet.[(((triple2) -> rule2) OR ((((triple1) -> rule3)) -> rule2))] Erin is furry.[(((triple4) -> rule1))] Harry is furry.[(((triple9) -> rule1))] @2: Harry is green.[(((((triple9) -> rule1)) -> rule3))] @3: Harry is quiet.[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]