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