Dave is smart. Fiona is not round. If Dave is smart then Dave is red. If someone is red then they are cold. All round, red people are cold. If someone is nice then they are not round. All cold people are round. If someone is round and not furry then they are red. If Dave is smart and Dave is not cold then Dave is not blue. If someone is round and not red then they are not blue.
Fiona is red.
@0: Dave is smart.[(triple1)] Fiona is not round.[(triple2)] @1: Dave is red.[(((triple1) -> rule1))] @2: Dave is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is round.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))]