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