Anne is green. Anne is round. Bob is furry. Bob is green. Bob is quiet. Bob is red. Dave is green. Dave is smart. Gary is furry. Gary is round. If Dave is smart then Dave is blue. Green people are red. If Bob is smart then Bob is furry.
Anne is smart.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule2))] Dave is green.[(triple7)] Dave is smart.[(triple8)] Gary is furry.[(triple9)] Gary is round.[(triple10)] @1: Anne is red.[(((triple1) -> rule2))] Dave is blue.[(((triple8) -> rule1))] Dave is red.[(((triple7) -> rule2))]