Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is red. Anne is white. Anne is young. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is white. Harry is young. All blue, young people are furry.
Harry is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple2 triple7) -> rule1))] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10 OR ((triple9 triple14) -> rule1))] Harry is kind.[(triple11)] Harry is red.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]