Bob is big. Bob is kind. Bob is white. Charlie is big. Charlie is green. Charlie is round. Dave is kind. Harry is big. Harry is green. Harry is kind. Harry is smart. Harry is white. If someone is round then they are green. Big people are round. If Harry is round and Harry is smart then Harry is white.
Dave is not big.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5 OR ((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Charlie is round.[(triple6 OR ((triple4) -> rule2))] Dave is kind.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9 OR ((((triple8) -> rule2)) -> rule1))] Harry is kind.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((((triple8) -> rule2) triple11) -> rule3))] @1: Bob is round.[(((triple1) -> rule2))] Harry is round.[(((triple8) -> rule2))] @2: Bob is green.[(((((triple1) -> rule2)) -> rule1))]