Bob is cold. Bob is furry. Bob is green. Bob is rough. Bob is smart. Bob is young. Dave is big. Dave is green. Dave is rough. Dave is young. If someone is rough then they are young. Big people are furry.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6 OR ((triple4) -> rule1))] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is rough.[(triple9)] Dave is young.[(triple10 OR ((triple9) -> rule1))] @1: Dave is furry.[(((triple7) -> rule2))]