Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is young. Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is young. Blue people are furry. If someone is rough and young then they are furry. Blue people are rough.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule1) OR ((triple5 triple7) -> rule2) OR ((((triple2) -> rule3) triple7) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple2) -> rule3))] Bob is round.[(triple6)] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10 OR ((triple9) -> rule1) OR ((triple12 triple14) -> rule2) OR ((((triple9) -> rule3) triple14) -> rule2))] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple9) -> rule3))] Dave is round.[(triple13)] Dave is young.[(triple14)]