The bald eagle is round. The bald eagle likes the cat. The bald eagle sees the dog. The cat is rough. The cat is round. The cat likes the bald eagle. The cat likes the tiger. The cat sees the dog. The dog likes the cat. The dog visits the cat. The tiger sees the cat. The tiger visits the cat. If someone is green and they like the tiger then the tiger is rough. If someone sees the dog then the dog is green. If someone visits the bald eagle and the bald eagle sees the dog then the bald eagle is rough.
The tiger visits the dog.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the dog.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the tiger.[(triple7)] The cat sees the dog.[(triple8)] The dog likes the cat.[(triple9)] The dog visits the cat.[(triple10)] The tiger sees the cat.[(triple11)] The tiger visits the cat.[(triple12)] @1: The dog is green.[(((triple3) -> rule2) OR ((triple8) -> rule2))]