Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is quiet. Smart people are quiet. All quiet people are furry. All kind, quiet people are green. Nice people are kind. Quiet people are nice. If Charlie is nice then Charlie is quiet.
Fiona is green.
@0: Charlie is furry.[(triple1 OR ((triple5) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Charlie is green.[(triple2 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule6)) -> rule3) OR ((triple3 ((triple6) -> rule1)) -> rule3) OR ((((triple4) -> rule4) triple5) -> rule3) OR ((((triple4) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((triple4) -> rule4) ((triple6) -> rule1)) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((((triple5) -> rule5)) -> rule4) ((triple6) -> rule1)) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5)) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5)) -> rule4) ((triple6) -> rule1)) -> rule3))] Charlie is kind.[(triple3 OR ((triple4) -> rule4) OR ((((triple5) -> rule5)) -> rule4) OR ((((((triple6) -> rule1)) -> rule5)) -> rule4))] Charlie is nice.[(triple4 OR ((triple5) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] Charlie is quiet.[(triple5 OR ((triple4) -> rule6) OR ((triple6) -> rule1))] Charlie is smart.[(triple6)] Fiona is quiet.[(triple7)] @1: Fiona is furry.[(((triple7) -> rule2))] Fiona is nice.[(((triple7) -> rule5))] @2: Fiona is kind.[(((((triple7) -> rule5)) -> rule4))] @3: Fiona is green.[(((((((triple7) -> rule5)) -> rule4) triple7) -> rule3))]