Anne is big. Anne is kind. Anne is not nice. Anne is smart. Anne is young. Bob is not big. Bob is nice. Bob is not white. Erin is not big. Erin is smart. Erin is white. Harry is big. Harry is green. Harry is smart. Harry is white. Harry is young. Nice things are kind. Big things are young.
Bob is not young.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple1) -> rule2))] Bob is nice.[(triple7)] Bob is not big.[(triple6)] Bob is not white.[(triple8)] Erin is not big.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple12) -> rule2))] @1: Bob is kind.[(((triple7) -> rule1))]