Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is not smart. Bob is young. Gary is kind. Gary is nice. Gary is rough. Gary is not young. Harry is green. Harry is quiet. If someone is quiet then they are rough. If someone is quiet then they are green. Kind people are not green. If someone is quiet and not young then they are green. If someone is nice and not quiet then they are green. If Gary is kind and Gary is not young then Gary is not smart. If Harry is green and Harry is not nice then Harry is not smart. If Harry is not quiet and Harry is not smart then Harry is not rough.
Bob is not quiet.
@0: Bob is green.[(triple1 OR ((triple3) -> rule2))] Bob is nice.[(triple2)] Bob is not smart.[(triple5)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule1))] Bob is young.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is not young.[(triple10)] Gary is rough.[(triple9)] Harry is green.[(triple11 OR ((triple12) -> rule2))] Harry is quiet.[(triple12)] @1: Gary is not green.[(((triple7) -> rule3))] Gary is not smart.[(((triple7 triple10) -> rule6))] Harry is rough.[(((triple12) -> rule1))]