Bob is kind. Charlie is smart. Dave is round. If Charlie is smart then Charlie is rough. If someone is green then they are not quiet. If someone is rough then they are kind. If someone is rough and nice then they are smart. All nice people are not rough. Kind people are not nice. If someone is smart and not quiet then they are round. Nice people are round.
Bob is not quiet.
@0: Bob is kind.[(triple1)] Charlie is smart.[(triple2)] Dave is round.[(triple3)] @1: Bob is not nice.[(((triple1) -> rule6))] Charlie is rough.[(((triple2) -> rule1))] @2: Charlie is kind.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is not nice.[(((((((triple2) -> rule1)) -> rule3)) -> rule6))]