Bob is not smart. Bob is white. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Erin is green. Erin is not kind. Erin is round. Erin is white. Harry is green. Harry is not kind. Harry is quiet. Harry is not round. Harry is smart. If something is green and not round then it is smart. If something is white and round then it is not smart. Round things are not smart. All round things are not kind. All quiet things are rough. If Dave is white and Dave is not quiet then Dave is not smart. All kind things are not white. If Bob is round then Bob is rough.
Bob is not rough.
@0: Bob is not smart.[(triple1)] Bob is white.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple3) -> rule5))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Erin is green.[(triple7)] Erin is not kind.[(triple8 OR ((triple9) -> rule4))] Erin is round.[(triple9)] Erin is white.[(triple10)] Harry is green.[(triple11)] Harry is not kind.[(triple12)] Harry is not round.[(triple14)] Harry is quiet.[(triple13)] Harry is smart.[(triple15 OR ((triple11 triple14) -> rule1))] @1: Erin is not smart.[(((triple9) -> rule3) OR ((triple10 triple9) -> rule2))] Harry is rough.[(((triple13) -> rule5))]