Bob is not rough. Erin is round. Fiona is nice. Harry is nice. All red people are white. Red, rough people are white. All quiet, nice people are rough. If Harry is nice then Harry is kind. If Harry is red then Harry is kind. All quiet, nice people are red. Kind people are round. If someone is quiet and not rough then they are not kind.
Harry is not nice.
@0: Bob is not rough.[(triple1)] Erin is round.[(triple2)] Fiona is nice.[(triple3)] Harry is nice.[(triple4)] @1: Harry is kind.[(((triple4) -> rule4))] @2: Harry is round.[(((((triple4) -> rule4)) -> rule7))]