The cat is green. The cat likes the tiger. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. The tiger is young. The tiger likes the cat. The tiger sees the cat. The tiger visits the cat. If someone sees the cat then they are green. If someone visits the cat and they visit the tiger then the cat sees the tiger.
The cat visits the tiger.
@0: The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The tiger is blue.[(triple3)] The tiger is green.[(triple4 OR ((triple9) -> rule1))] The tiger is kind.[(triple5)] The tiger is red.[(triple6)] The tiger is young.[(triple7)] The tiger likes the cat.[(triple8)] The tiger sees the cat.[(triple9)] The tiger visits the cat.[(triple10)]