Dave is green. Fiona is red. Harry is smart. Green things are smart. All blue things are not green. If Harry is not smart and Harry is not green then Harry is red. If something is smart then it is red. Nice things are red. If something is smart and not blue then it is nice. If something is red then it is not nice. If something is green and not smart then it is not furry.
Dave is red.
@0: Dave is green.[(triple1)] Fiona is red.[(triple2)] Harry is smart.[(triple3)] @1: Dave is smart.[(((triple1) -> rule1))] Fiona is not nice.[(((triple2) -> rule7))] Harry is red.[(((triple3) -> rule4))] @2: Dave is red.[(((((triple1) -> rule1)) -> rule4))] Harry is not nice.[(((((triple3) -> rule4)) -> rule7))] @3: Dave is not nice.[(((((((triple1) -> rule1)) -> rule4)) -> rule7))]