The cat is blue. The cat is red. The cat is young. The cat likes the mouse. The cat likes the squirrel. The cat visits the lion. The cat visits the squirrel. The lion eats the cat. The lion eats the mouse. The lion eats the squirrel. The mouse eats the lion. The mouse is red. The mouse visits the cat. The mouse visits the lion. The mouse visits the squirrel. The squirrel eats the cat. If someone is red and they visit the squirrel then the squirrel visits the cat. If the mouse visits the lion and the mouse likes the squirrel then the lion visits the cat. If the cat eats the mouse and the mouse eats the cat then the mouse likes the cat.
The mouse visits the lion.
@0: The cat is blue.[(triple1)] The cat is red.[(triple2)] The cat is young.[(triple3)] The cat likes the mouse.[(triple4)] The cat likes the squirrel.[(triple5)] The cat visits the lion.[(triple6)] The cat visits the squirrel.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the mouse.[(triple9)] The lion eats the squirrel.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is red.[(triple12)] The mouse visits the cat.[(triple13)] The mouse visits the lion.[(triple14)] The mouse visits the squirrel.[(triple15)] The squirrel eats the cat.[(triple16)] @1: The squirrel visits the cat.[(((triple12 triple15) -> rule1) OR ((triple2 triple7) -> rule1))]