The cat chases the dog. The cat needs the dog. The cat visits the squirrel. The dog chases the squirrel. The dog is big. The dog is blue. The dog is nice. The mouse is blue. The mouse needs the squirrel. The squirrel chases the cat. The squirrel needs the mouse. The squirrel visits the cat. If something needs the dog and it chases the mouse then the dog chases the mouse. If something is round then it needs the squirrel. If the dog needs the mouse then the mouse visits the cat. If something chases the dog and the dog is round then the dog chases the cat. All nice things are blue. If something chases the cat and it is green then the cat chases the squirrel.
The mouse chases the cat.
@0: The cat chases the dog.[(triple1)] The cat needs the dog.[(triple2)] The cat visits the squirrel.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is big.[(triple5)] The dog is blue.[(triple6 OR ((triple7) -> rule5))] The dog is nice.[(triple7)] The mouse is blue.[(triple8)] The mouse needs the squirrel.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel visits the cat.[(triple12)]