Charlie is not furry. Charlie is nice. Dave is big. Dave is blue. Dave is nice. Dave is not white. Fiona is not big. Fiona is not blue. Fiona is nice. Fiona is smart. Harry is not blue. Harry is furry. Harry is not nice. Harry is smart. Harry is white. If Dave is big then Dave is smart. If something is white and not green then it is furry. If something is smart and green then it is furry.
Charlie is not furry.
@0: Charlie is nice.[(triple2)] Charlie is not furry.[(triple1)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5)] Dave is not white.[(triple6)] Fiona is nice.[(triple9)] Fiona is not big.[(triple7)] Fiona is not blue.[(triple8)] Fiona is smart.[(triple10)] Harry is furry.[(triple12)] Harry is not blue.[(triple11)] Harry is not nice.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is smart.[(((triple3) -> rule1))]