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