Bob is kind. Dave is nice. Harry is nice. If Dave is rough then Dave is white. Big, rough people are kind. If Harry is white and Harry is kind then Harry is young. Rough people are round. If someone is rough and kind then they are white. All kind people are rough. If someone is white and round then they are nice. All nice, white people are kind.
Dave is not kind.
@0: Bob is kind.[(triple1)] Dave is nice.[(triple2)] Harry is nice.[(triple3)] @1: Bob is rough.[(((triple1) -> rule6))] @2: Bob is round.[(((((triple1) -> rule6)) -> rule4))] Bob is white.[(((((triple1) -> rule6) triple1) -> rule5))] @3: Bob is nice.[(((((((triple1) -> rule6) triple1) -> rule5) ((((triple1) -> rule6)) -> rule4)) -> rule7))]