The cat visits the dog. The cat visits the lion. The dog is blue. The dog is green. The dog sees the cat. The dog sees the lion. The dog visits the lion. The lion eats the mouse. The lion is blue. The lion is nice. The lion is round. The lion visits the cat. The lion visits the dog. The mouse eats the lion. The mouse is kind. If something visits the mouse and the mouse sees the cat then it visits the dog. If something eats the mouse and it visits the cat then the mouse is green. If something eats the dog and it visits the mouse then the mouse eats the lion. If something visits the dog then it sees the cat. If something visits the mouse then the mouse visits the cat. If something eats the lion then it visits the mouse. If something visits the dog then it is round. If something visits the mouse and the mouse visits the dog then the mouse eats the cat.
The mouse visits the mouse.
@0: The cat visits the dog.[(triple1)] The cat visits the lion.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog sees the cat.[(triple5)] The dog sees the lion.[(triple6)] The dog visits the lion.[(triple7)] The lion eats the mouse.[(triple8)] The lion is blue.[(triple9)] The lion is nice.[(triple10)] The lion is round.[(triple11 OR ((triple13) -> rule7))] The lion visits the cat.[(triple12)] The lion visits the dog.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is kind.[(triple15)] @1: The cat is round.[(((triple1) -> rule7))] The cat sees the cat.[(((triple1) -> rule4))] The lion sees the cat.[(((triple13) -> rule4))] The mouse is green.[(((triple8 triple12) -> rule2))] The mouse visits the mouse.[(((triple14) -> rule6))] @2: The mouse visits the cat.[(((((triple14) -> rule6)) -> rule5))]