The cat chases the tiger. The cat eats the tiger. The cat is not cold. The cat is green. The cat is red. The cat visits the tiger. The tiger chases the cat. The tiger does not eat the cat. The tiger is red. The tiger visits the cat. If something visits the cat and it does not chase the cat then the cat visits the tiger. If something is red then it visits the cat. If something chases the tiger then it is young.
The tiger is cold.
@0: The cat chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is green.[(triple4)] The cat is not cold.[(triple3)] The cat is red.[(triple5)] The cat visits the tiger.[(triple6)] The tiger chases the cat.[(triple7)] The tiger does not eat the cat.[(triple8)] The tiger is red.[(triple9)] The tiger visits the cat.[(triple10 OR ((triple9) -> rule2))] @1: The cat is young.[(((triple1) -> rule3))] The cat visits the cat.[(((triple5) -> rule2))]