Charlie is smart. Erin is green. Fiona is kind. All green people are white. If someone is white and not big then they are round.
Fiona is not kind.
@0: Charlie is smart.[(triple1)] Erin is green.[(triple2)] Fiona is kind.[(triple3)] @1: Erin is white.[(((triple2) -> rule1))]