Bob is big. Bob is furry. Bob is green. Bob is rough. Dave is big. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is rough. All furry, green things are quiet.
Dave is green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is quiet.[(triple8 OR ((triple6 triple7) -> rule1))] Dave is red.[(triple9)] Dave is rough.[(triple10)] @1: Bob is quiet.[(((triple2 triple3) -> rule1))]