Anne is cold. Anne is furry. Anne is smart. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Harry is furry. Harry is kind. Harry is red. Harry is smart. If someone is furry then they are cold. Cold people are quiet.
Anne is kind.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule1))] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10 OR ((triple11) -> rule1))] Erin is furry.[(triple11)] Erin is quiet.[(triple12 OR ((triple10) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16)] @1: Anne is quiet.[(((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Charlie is quiet.[(((triple5) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Harry is cold.[(((triple13) -> rule1))] @2: Harry is quiet.[(((((triple13) -> rule1)) -> rule2))]