Bob is round. Dave is rough. Erin is cold. Kind people are not smart. If someone is smart and red then they are not kind. Round people are kind. If someone is round and not smart then they are green. If someone is green and rough then they are cold. All green, red people are cold.
Bob is not green.
@0: Bob is round.[(triple1)] Dave is rough.[(triple2)] Erin is cold.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3))] @2: Bob is not smart.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is green.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule4))]