Bob is big. Bob is nice. Charlie is big. Charlie is nice. Charlie is not rough. Dave is blue. Dave is kind. Dave is rough. Dave is round. Dave is young. Harry is rough. Harry is round. If something is kind then it is rough. Blue, big things are rough. If Charlie is big and Charlie is blue then Charlie is young. All big things are not kind. Young, round things are kind. Blue things are young. If Bob is rough and Bob is kind then Bob is big. If something is rough and not blue then it is nice.
Harry is big.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Charlie is big.[(triple3)] Charlie is nice.[(triple4)] Charlie is not rough.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple7 OR ((triple10 triple9) -> rule5) OR ((((triple6) -> rule6) triple9) -> rule5))] Dave is rough.[(triple8 OR ((triple7) -> rule1) OR ((((triple10 triple9) -> rule5)) -> rule1) OR ((((((triple6) -> rule6) triple9) -> rule5)) -> rule1))] Dave is round.[(triple9)] Dave is young.[(triple10 OR ((triple6) -> rule6))] Harry is rough.[(triple11)] Harry is round.[(triple12)] @1: Bob is not kind.[(((triple1) -> rule4))] Charlie is not kind.[(((triple3) -> rule4))]