Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is smart. Charlie is not quiet. Charlie is not red. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is young. Harry is kind. Harry is quiet. Harry is not red. Harry is round. Harry is smart. Round, red things are young. If Bob is round then Bob is not rough. All red, young things are smart. Red things are not rough. If Charlie is not young then Charlie is rough. Rough things are not kind.
Charlie is not kind.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple3 ((triple4 triple3) -> rule1)) -> rule3))] Charlie is not quiet.[(triple6)] Charlie is not red.[(triple7)] Charlie is not smart.[(triple10)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple11)] Harry is kind.[(triple12)] Harry is not red.[(triple14)] Harry is quiet.[(triple13)] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Bob is not rough.[(((triple3) -> rule4) OR ((triple4) -> rule2))] Bob is young.[(((triple4 triple3) -> rule1))] Charlie is not kind.[(((triple8) -> rule6))]