Bob is round. Dave is not cold. Dave is round. Erin is round. Fiona is kind. Fiona is round. Fiona is smart. All kind people are rough. Rough, smart people are red. If Fiona is smart and Fiona is not white then Fiona is kind.
Fiona is red.
@0: Bob is round.[(triple1)] Dave is not cold.[(triple2)] Dave is round.[(triple3)] Erin is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is rough.[(((triple5) -> rule1))] @2: Fiona is red.[(((((triple5) -> rule1) triple7) -> rule2))]