The cat chases the mouse. The cat chases the squirrel. The cat eats the squirrel. The cat is green. The cat visits the mouse. The mouse chases the cat. The mouse is big. The mouse is round. The mouse visits the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is big. The squirrel is green. The squirrel visits the cat. The squirrel visits the mouse. If someone is kind and nice then they visit the cat. If someone chases the mouse then they visit the mouse.
The mouse eats the squirrel.
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is green.[(triple4)] The cat visits the mouse.[(triple5 OR ((triple1) -> rule2))] The mouse chases the cat.[(triple6)] The mouse is big.[(triple7)] The mouse is round.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is big.[(triple12)] The squirrel is green.[(triple13)] The squirrel visits the cat.[(triple14)] The squirrel visits the mouse.[(triple15)]