Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Erin is green. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. If someone is kind and blue then they are furry.
Erin is not green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Erin is green.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple11 triple7) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)]