Anne is cold. Anne is nice. Anne is quiet. Bob is big. Bob is cold. Bob is nice. Bob is quiet. Harry is big. Harry is furry. Harry is nice. All nice things are smart. All kind things are furry. All quiet things are furry. If something is kind then it is furry. All furry, quiet things are cold. If something is smart and cold then it is quiet. All cold things are big. Quiet, kind things are cold.
Harry is not quiet.
@0: Anne is cold.[(triple1 OR ((((triple3) -> rule3) triple3) -> rule5))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((((triple2) -> rule1) triple1) -> rule6))] Bob is big.[(triple4 OR ((triple5) -> rule7) OR ((((((triple7) -> rule3) triple7) -> rule5)) -> rule7))] Bob is cold.[(triple5 OR ((((triple7) -> rule3) triple7) -> rule5))] Bob is nice.[(triple6)] Bob is quiet.[(triple7 OR ((((triple6) -> rule1) triple5) -> rule6))] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] @1: Anne is big.[(((triple1) -> rule7) OR ((((((triple3) -> rule3) triple3) -> rule5)) -> rule7))] Anne is furry.[(((triple3) -> rule3) OR ((((((triple2) -> rule1) triple1) -> rule6)) -> rule3))] Anne is smart.[(((triple2) -> rule1))] Bob is furry.[(((triple7) -> rule3) OR ((((((triple6) -> rule1) triple5) -> rule6)) -> rule3))] Bob is smart.[(((triple6) -> rule1))] Harry is smart.[(((triple10) -> rule1))]