The dog is big. The dog is not cold. The dog is not green. The dog is rough. The dog is round. If someone is rough and cold then they are not round. If someone is cold and big then they are not rough. If someone is cold and not green then they are rough. All big, round people are rough. If the dog is big then the dog is not cold. If the dog is green and the dog is cold then the dog is rough.
The dog is not rough.
@0: The dog is big.[(triple1)] The dog is not cold.[(triple2 OR ((triple1) -> rule5))] The dog is not green.[(triple3)] The dog is rough.[(triple4 OR ((triple1 triple5) -> rule4))] The dog is round.[(triple5)]