Bob is smart. Erin is green. All blue, green people are kind. If Bob is kind then Bob is not red. If someone is round then they are not blue. Smart, green people are not blue. Green people are nice. Nice, blue people are red. Round, red people are green. If someone is nice then they are round.
Erin is not smart.
@0: Bob is smart.[(triple1)] Erin is green.[(triple2)] @1: Erin is nice.[(((triple2) -> rule5))] @2: Erin is round.[(((((triple2) -> rule5)) -> rule8))] @3: Erin is not blue.[(((((((triple2) -> rule5)) -> rule8)) -> rule3))]