The cat eats the tiger. The cat is big. The cat is blue. The cat is green. The cat is round. The cat is young. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is blue. The tiger is green. The tiger is round. The tiger is young. The tiger sees the cat. The tiger visits the cat. If someone sees the tiger and the tiger eats the cat then the tiger visits the cat. If someone sees the tiger and they are young then the tiger visits the cat. If someone visits the cat and they are blue then the cat visits the tiger.
The cat does not see the cat.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat sees the tiger.[(triple7)] The cat visits the tiger.[(triple8 OR ((triple16 triple11) -> rule3) OR ((((triple7 triple6) -> rule2) triple11) -> rule3) OR ((((triple7 triple9) -> rule1) triple11) -> rule3))] The tiger eats the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is round.[(triple13)] The tiger is young.[(triple14)] The tiger sees the cat.[(triple15)] The tiger visits the cat.[(triple16 OR ((triple7 triple6) -> rule2) OR ((triple7 triple9) -> rule1))]