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