Bob is not kind. If Bob is white then Bob is kind. If Bob is not kind then Bob is cold. If someone is rough then they are green. If Bob is cold and Bob is not kind then Bob is rough. Round, white people are not cold. If someone is green then they are not round.
Bob is kind.
@0: Bob is not kind.[(triple1)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is rough.[(((((triple1) -> rule2) triple1) -> rule4))] @3: Bob is green.[(((((((triple1) -> rule2) triple1) -> rule4)) -> rule3))] @4: Bob is not round.[(((((((((triple1) -> rule2) triple1) -> rule4)) -> rule3)) -> rule6))]