The cat chases the rabbit. The cat chases the tiger. The cat eats the tiger. The cat is red. The cat is rough. The cat visits the tiger. The rabbit is rough. The rabbit visits the tiger. The tiger is rough. The tiger visits the cat. If someone eats the tiger then they chase the cat. If someone visits the tiger then they do not eat the cat. If someone visits the tiger then they are rough. If someone chases the rabbit then the rabbit eats the tiger. If someone is rough then they eat the rabbit. If someone is red and they do not eat the tiger then they visit the rabbit.
The tiger eats the cat.
@0: The cat chases the rabbit.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the tiger.[(triple3)] The cat is red.[(triple4)] The cat is rough.[(triple5 OR ((triple6) -> rule3))] The cat visits the tiger.[(triple6)] The rabbit is rough.[(triple7 OR ((triple8) -> rule3))] The rabbit visits the tiger.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat chases the cat.[(((triple3) -> rule1))] The cat does not eat the cat.[(((triple6) -> rule2))] The cat eats the rabbit.[(((triple5) -> rule5) OR ((((triple6) -> rule3)) -> rule5))] The rabbit does not eat the cat.[(((triple8) -> rule2))] The rabbit eats the rabbit.[(((triple7) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] The rabbit eats the tiger.[(((triple1) -> rule4))] The tiger eats the rabbit.[(((triple9) -> rule5))] @2: The rabbit chases the cat.[(((((triple1) -> rule4)) -> rule1))]