Anne is furry. Anne is kind. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Dave is kind. If Anne is blue then Anne is big. If Dave is smart and Dave is round then Dave is blue. If someone is big and smart then they are kind. All furry people are blue. If someone is kind then they are smart. If someone is big and blue then they are smart. All round, kind people are furry. If someone is furry then they are blue.
Anne is big.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule8)) -> rule6)) -> rule3) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule8)) -> rule1) ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule6)) -> rule3))] Charlie is blue.[(triple3 OR ((triple5) -> rule4) OR ((triple5) -> rule8))] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Dave is kind.[(triple7)] @1: Anne is blue.[(((triple1) -> rule4) OR ((triple1) -> rule8))] Anne is smart.[(((triple2) -> rule5) OR ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4)) -> rule1) ((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule6))] Charlie is smart.[(((triple6) -> rule5))] Dave is smart.[(((triple7) -> rule5))] @2: Anne is big.[(((((triple1) -> rule4)) -> rule1) OR ((((triple1) -> rule8)) -> rule1))]