The cat chases the tiger. The cat eats the tiger. The cat is big. The cat is cold. The cat is red. The cat is round. The cat is young. The cat sees the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is big. The tiger is cold. If something eats the cat and it chases the cat then the cat chases the tiger.
The cat does not see the tiger.
@0: The cat chases the tiger.[(triple1 OR ((triple10 triple9) -> rule1))] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is cold.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The cat sees the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)]