Anne is smart. Bob is cold. Erin is blue. Erin is red. Fiona is cold. Fiona is red. Fiona is round. If someone is blue and red then they are big.
Bob is round.
@0: Anne is smart.[(triple1)] Bob is cold.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] @1: Erin is big.[(((triple3 triple4) -> rule1))]