Bob is green. Bob is red. Charlie is not rough. Dave is white. Fiona is furry. Fiona is round. Fiona is smart. If Dave is white then Dave is red. Rough things are smart. All green, rough things are not smart. If something is smart and not green then it is round. If Fiona is not green and Fiona is not red then Fiona is not smart. If something is smart and not round then it is furry. If something is green and not white then it is furry. If something is white and not smart then it is not furry.
Dave is white.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Charlie is not rough.[(triple3)] Dave is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is red.[(((triple4) -> rule1))]