The cat chases the dog. The cat chases the mouse. The cat eats the dog. The cat eats the mouse. The cat is big. The cat is nice. The cat is round. The cat visits the dog. The cat visits the mouse. The dog visits the cat. The mouse chases the dog. The mouse eats the cat. The mouse eats the dog. The mouse visits the cat. The mouse visits the dog. If someone visits the cat then the cat is rough. If someone is round and nice then they eat the cat. If someone visits the dog and they visit the cat then the dog visits the mouse. If someone eats the cat and the cat eats the mouse then they chase the mouse. If someone visits the mouse then they are rough. If someone is rough and they visit the cat then they visit the dog.
The dog visits the dog.
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2 OR ((((triple7 triple6) -> rule2) triple4) -> rule4))] The cat eats the dog.[(triple3)] The cat eats the mouse.[(triple4)] The cat is big.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat visits the dog.[(triple8)] The cat visits the mouse.[(triple9)] The dog visits the cat.[(triple10)] The mouse chases the dog.[(triple11)] The mouse eats the cat.[(triple12)] The mouse eats the dog.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the dog.[(triple15)] @1: The cat eats the cat.[(((triple7 triple6) -> rule2))] The cat is rough.[(((triple10) -> rule1) OR ((triple14) -> rule1) OR ((triple9) -> rule5))] The dog visits the mouse.[(((triple15 triple14) -> rule3))] The mouse chases the mouse.[(((triple12 triple4) -> rule4))] @2: The dog is rough.[(((((triple15 triple14) -> rule3)) -> rule5))] @3: The dog visits the dog.[(((((((triple15 triple14) -> rule3)) -> rule5) triple10) -> rule6))]