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 not cold.
@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))]