The cat eats the dog. The cat is rough. The cat is round. The cat likes the dog. The dog chases the cat. The dog eats the cat. The dog is big. The dog is rough. The dog is round. The dog likes the cat. If the cat is rough and the cat eats the dog then the dog is rough.
The dog likes the cat.
@0: The cat eats the dog.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat likes the dog.[(triple4)] The dog chases the cat.[(triple5)] The dog eats the cat.[(triple6)] The dog is big.[(triple7)] The dog is rough.[(triple8 OR ((triple2 triple1) -> rule1))] The dog is round.[(triple9)] The dog likes the cat.[(triple10)]