Anne is quiet. Charlie is blue. Charlie is not quiet. Charlie is white. Charlie is not young. Harry is furry. Harry is nice. Harry is quiet. Harry is white. Harry is young. If someone is furry then they are big. If someone is young and not blue then they are not big. All nice, blue people are furry. Nice people are furry. All quiet people are furry. If someone is white then they are nice.
Anne is blue.
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not young.[(triple5)] Charlie is white.[(triple4)] Harry is furry.[(triple6 OR ((triple7) -> rule4) OR ((triple8) -> rule5) OR ((((triple9) -> rule6)) -> rule4))] Harry is nice.[(triple7 OR ((triple9) -> rule6))] Harry is quiet.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Anne is furry.[(((triple1) -> rule5))] Charlie is nice.[(((triple4) -> rule6))] Harry is big.[(((triple6) -> rule1) OR ((((triple7) -> rule4)) -> rule1) OR ((((triple8) -> rule5)) -> rule1) OR ((((((triple9) -> rule6)) -> rule4)) -> rule1))] @2: Anne is big.[(((((triple1) -> rule5)) -> rule1))] Charlie is furry.[(((((triple4) -> rule6)) -> rule4) OR ((((triple4) -> rule6) triple2) -> rule3))] @3: Charlie is big.[(((((((triple4) -> rule6)) -> rule4)) -> rule1) OR ((((((triple4) -> rule6) triple2) -> rule3)) -> rule1))]