The cat chases the tiger. The cat is big. The cat is blue. The cat is cold. The cat is rough. The cat is young. The cat needs the tiger. The cat visits the tiger. The tiger chases the cat. The tiger is big. The tiger is blue. The tiger is cold. The tiger is young. The tiger needs the cat. The tiger visits the cat. If someone is big and they chase the cat then the cat chases the tiger. If someone is blue and they visit the tiger then they chase the cat.
The cat visits the tiger.
@0: The cat chases the tiger.[(triple1 OR ((triple10 triple9) -> rule1) OR ((triple2 ((triple3 triple8) -> rule2)) -> rule1))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat needs the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is young.[(triple13)] The tiger needs the cat.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat chases the cat.[(((triple3 triple8) -> rule2))]