Dave is not nice. Erin is not nice. Erin is not red. Fiona is red. Fiona is not round. Harry is rough. Harry is smart. Red people are smart. Smart people are cold.
Fiona is rough.
@0: Dave is not nice.[(triple1)] Erin is not nice.[(triple2)] Erin is not red.[(triple3)] Fiona is not round.[(triple5)] Fiona is red.[(triple4)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is smart.[(((triple4) -> rule1))] Harry is cold.[(((triple7) -> rule2))] @2: Fiona is cold.[(((((triple4) -> rule1)) -> rule2))]