Charlie is white. Erin is smart. Fiona is red. If someone is white then they are red. If Charlie is young then Charlie is not smart.
Fiona is not red.
@0: Charlie is white.[(triple1)] Erin is smart.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is red.[(((triple1) -> rule1))]