The cat eats the tiger. The cat is blue. The cat is young. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is blue. The tiger is kind. The tiger sees the cat. The tiger visits the cat. If the cat visits the tiger then the cat is blue.
The cat does not visit the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is blue.[(triple2 OR ((triple5) -> rule1))] The cat is young.[(triple3)] The cat sees the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The tiger eats the cat.[(triple6)] The tiger is blue.[(triple7)] The tiger is kind.[(triple8)] The tiger sees the cat.[(triple9)] The tiger visits the cat.[(triple10)]