Bob is quiet. Bob is rough. Erin is rough. Erin is smart. Fiona is smart. Fiona is white. Gary is rough. White people are red. Cold, smart people are rough.
Fiona is quiet.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Gary is rough.[(triple7)] @1: Fiona is red.[(((triple6) -> rule1))]