Bob is cold. Bob is green. Bob is not kind. Bob is rough. Bob is round. Bob is smart. Dave is cold. Dave is furry. Dave is green. Dave is not kind. Dave is round. Dave is smart. If someone is rough then they are green. If someone is furry and green then they are smart. If Bob is rough and Bob is cold then Bob is not kind.
Dave is rough.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule1))] Bob is not kind.[(triple3 OR ((triple4 triple1) -> rule3))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is not kind.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12 OR ((triple8 triple9) -> rule2))]