Anne is big. Anne is not smart. Bob is not big. Bob is round. Bob is not smart. Bob is young. Dave is not smart. Harry is big. Harry is not quiet. Harry is round. Harry is smart. Harry is white. If Dave is big and Dave is kind then Dave is white. If someone is big and white then they are young. If someone is white and big then they are young. All big people are round. Round, smart people are white. All round people are white.
Dave is kind.
@0: Anne is big.[(triple1)] Anne is not smart.[(triple2)] Bob is not big.[(triple3)] Bob is not smart.[(triple5)] Bob is round.[(triple4)] Bob is young.[(triple6)] Dave is not smart.[(triple7)] Harry is big.[(triple8)] Harry is not quiet.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule4))] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule6) OR ((triple10 triple11) -> rule5) OR ((((triple8) -> rule4)) -> rule6) OR ((((triple8) -> rule4) triple11) -> rule5))] @1: Anne is round.[(((triple1) -> rule4))] Bob is white.[(((triple4) -> rule6))] Harry is young.[(((triple12 triple8) -> rule3) OR ((triple8 triple12) -> rule2) OR ((triple8 ((triple10) -> rule6)) -> rule2) OR ((triple8 ((triple10 triple11) -> rule5)) -> rule2) OR ((((triple10) -> rule6) triple8) -> rule3) OR ((((triple10 triple11) -> rule5) triple8) -> rule3) OR ((triple8 ((((triple8) -> rule4)) -> rule6)) -> rule2) OR ((triple8 ((((triple8) -> rule4) triple11) -> rule5)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) triple8) -> rule3) OR ((((((triple8) -> rule4) triple11) -> rule5) triple8) -> rule3))] @2: Anne is white.[(((((triple1) -> rule4)) -> rule6))] @3: Anne is young.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule3))]