Anne is big. Erin is big. Fiona is round. Gary is cold. All round things are blue. If something is cold and kind then it is nice.
Anne is not big.
@0: Anne is big.[(triple1)] Erin is big.[(triple2)] Fiona is round.[(triple3)] Gary is cold.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule1))]