Bob is smart. Bob is white. Fiona is cold. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. All red, round people are rough.
Fiona is smart.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is rough.[(((triple5 triple6) -> rule1))]