Bob is cold. Bob is nice. Charlie is blue. Erin is big. Erin is kind. Fiona is big. Fiona is green. If someone is big and rough then they are nice. Nice, cold people are blue. All nice, kind people are green.
Fiona is rough.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] @1: Bob is blue.[(((triple2 triple1) -> rule2))]