Dave is smart. Fiona is cold. All rough people are not furry. If someone is big then they are not furry. If Fiona is smart then Fiona is furry. All furry people are cold. If someone is cold then they are smart. If someone is furry and smart then they are not green. Smart, big people are white. If Dave is rough and Dave is not furry then Dave is not smart.
Dave is not smart.
@0: Dave is smart.[(triple1)] Fiona is cold.[(triple2)] @1: Fiona is smart.[(((triple2) -> rule5))] @2: Fiona is furry.[(((((triple2) -> rule5)) -> rule3))] @3: Fiona is not green.[(((((((triple2) -> rule5)) -> rule3) ((triple2) -> rule5)) -> rule6))]