Bob is smart. Charlie is cold. Erin is not quiet. Cold, nice people are smart. All cold people are smart. If Charlie is smart then Charlie is not nice. If someone is kind then they are green. If Charlie is not nice then Charlie is green. All green people are kind.
Bob is nice.
@0: Bob is smart.[(triple1)] Charlie is cold.[(triple2)] Erin is not quiet.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule2))] @2: Charlie is not nice.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is green.[(((((((triple2) -> rule2)) -> rule3)) -> rule5))] @4: Charlie is kind.[(((((((((triple2) -> rule2)) -> rule3)) -> rule5)) -> rule6))]