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.
Erin is not quiet.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Erin is smart.[(triple3)] @1: Bob is red.[(((triple2) -> rule3))] Erin is red.[(((triple3) -> rule3))]