Anne is blue. Anne is not furry. Anne is not green. Bob is not green. Bob is young. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Dave is young. If Dave is young and Dave is furry then Dave is green. If something is furry then it is round. If something is round and blue then it is young.
Bob is furry.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not green.[(triple3)] Bob is not green.[(triple4)] Bob is young.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple10 triple6) -> rule1))] Dave is quiet.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] @1: Dave is round.[(((triple6) -> rule2))]