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 smart.
@0: Anne is big.[(triple1)] Erin is big.[(triple2)] Fiona is round.[(triple3)] Gary is cold.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule1))]