Bob is blue. Bob is smart. Erin is smart. If someone is nice then they are red. All green people are quiet. All smart people are red.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Erin is smart.[(triple3)] @1: Bob is red.[(((triple2) -> rule3))] Erin is red.[(((triple3) -> rule3))]