Anne is kind. Anne is nice. Charlie is kind. Charlie is quiet. Charlie is red. Erin is furry. Erin is quiet. Erin is red. Harry is kind. Harry is nice. Harry is quiet. All cold, nice people are furry. If Harry is quiet then Harry is furry. Red, cold people are big. If someone is kind then they are quiet. All kind, nice people are quiet. All furry, cold people are red. If Anne is quiet and Anne is kind then Anne is cold.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4 OR ((triple3) -> rule4))] Charlie is red.[(triple5)] Erin is furry.[(triple6)] Erin is quiet.[(triple7)] Erin is red.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule5))] @1: Anne is quiet.[(((triple1) -> rule4) OR ((triple1 triple2) -> rule5))] Harry is furry.[(((triple11) -> rule2) OR ((((triple9) -> rule4)) -> rule2) OR ((((triple9 triple10) -> rule5)) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule4) triple1) -> rule7) OR ((((triple1 triple2) -> rule5) triple1) -> rule7))] @3: Anne is furry.[(((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) OR ((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1))] @4: Anne is red.[(((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) OR ((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6) OR ((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) OR ((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6))] @5: Anne is big.[(((((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) ((((triple1) -> rule4) triple1) -> rule7)) -> rule3) OR ((((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule3) OR ((((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6) ((((triple1) -> rule4) triple1) -> rule7)) -> rule3) OR ((((((((((triple1) -> rule4) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule3) OR ((((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) ((((triple1) -> rule4) triple1) -> rule7)) -> rule3) OR ((((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1) -> rule4) triple1) -> rule7)) -> rule6) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule3) OR ((((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6) ((((triple1) -> rule4) triple1) -> rule7)) -> rule3) OR ((((((((((triple1 triple2) -> rule5) triple1) -> rule7) triple2) -> rule1) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule6) ((((triple1 triple2) -> rule5) triple1) -> rule7)) -> rule3))]