Bob is red. Charlie is nice. Dave is nice. If something is round then it is not blue. All nice, furry things are blue. If Dave is furry and Dave is red then Dave is not nice. If something is green then it is round. Nice things are green. If something is furry then it is green. If Bob is furry then Bob is not nice. If something is nice and red then it is furry.
Charlie is not green.
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Dave is nice.[(triple3)] @1: Charlie is green.[(((triple2) -> rule5))] Dave is green.[(((triple3) -> rule5))] @2: Charlie is round.[(((((triple2) -> rule5)) -> rule4))] Dave is round.[(((((triple3) -> rule5)) -> rule4))] @3: Charlie is not blue.[(((((((triple2) -> rule5)) -> rule4)) -> rule1))] Dave is not blue.[(((((((triple3) -> rule5)) -> rule4)) -> rule1))]