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