Charlie is nice. Dave is big. Dave is smart. Red things are cold. All cold, red things are nice. If something is nice then it is smart. All big, furry things are nice. All furry things are green. If Charlie is smart then Charlie is big. Furry, nice things are green. If something is smart and big then it is furry.
Charlie is not red.
@0: Charlie is nice.[(triple1)] Dave is big.[(triple2)] Dave is smart.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule3))] Dave is furry.[(((triple3 triple2) -> rule8))] @2: Charlie is big.[(((((triple1) -> rule3)) -> rule6))] Dave is green.[(((((triple3 triple2) -> rule8)) -> rule5) OR ((((triple3 triple2) -> rule8) ((triple2 ((triple3 triple2) -> rule8)) -> rule4)) -> rule7))] Dave is nice.[(((triple2 ((triple3 triple2) -> rule8)) -> rule4))] @3: Charlie is furry.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule8))] @4: Charlie is green.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule8)) -> rule5) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule8) triple1) -> rule7))]