Anne is big. Anne is blue. Anne is not cold. Anne is not kind. Anne is quiet. Anne is not smart. Anne is white. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If Harry is kind and Harry is white then Harry is quiet.
Harry is not smart.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not cold.[(triple3)] Anne is not kind.[(triple4)] Anne is not smart.[(triple6)] Anne is quiet.[(triple5)] Anne is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple11 triple14) -> rule1))] Harry is smart.[(triple13)] Harry is white.[(triple14)]