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