Charlie is rough. Dave is blue. Fiona is cold. Harry is rough. All green people are not smart. Blue people are smart. If Fiona is rough and Fiona is big then Fiona is furry. If someone is furry and rough then they are cold. If someone is rough then they are not green. If someone is blue and big then they are not furry. All smart people are big. Green, furry people are not big.
Dave is rough.
@0: Charlie is rough.[(triple1)] Dave is blue.[(triple2)] Fiona is cold.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is not green.[(((triple1) -> rule5))] Dave is smart.[(((triple2) -> rule2))] Harry is not green.[(((triple4) -> rule5))] @2: Dave is big.[(((((triple2) -> rule2)) -> rule7))] @3: Dave is not furry.[(((triple2 ((((triple2) -> rule2)) -> rule7)) -> rule6))]