Bob is big. Bob is nice. Bob is rough. Bob is round. Bob is white. Bob is young. Dave is big. Dave is kind. Dave is nice. Dave is rough. Dave is round. Harry is nice. Harry is rough. Harry is white. Harry is young. If someone is kind and young then they are rough. If Bob is nice and Bob is kind then Bob is rough. Young people are big. If Harry is white then Harry is kind. If someone is white then they are big. Kind people are rough.
Dave is not white.
@0: Bob is big.[(triple1 OR ((triple5) -> rule5) OR ((triple6) -> rule3))] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is rough.[(triple10 OR ((triple8) -> rule6))] Dave is round.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13 OR ((((triple14) -> rule4)) -> rule6) OR ((((triple14) -> rule4) triple15) -> rule1))] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is big.[(((triple14) -> rule5) OR ((triple15) -> rule3))] Harry is kind.[(((triple14) -> rule4))]