Anne is red. Anne is smart. Anne is white. Bob is quiet. Bob is smart. Bob is white. Dave is furry. Dave is green. Dave is red. Dave is rough. Fiona is furry. Fiona is green. If someone is red and furry then they are smart. If someone is rough then they are green.
Bob is not green.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8 OR ((triple10) -> rule2))] Dave is red.[(triple9)] Dave is rough.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] @1: Dave is smart.[(((triple9 triple7) -> rule1))]