The cat is kind. The cat does not see the mouse. The cat visits the dog. The cat visits the rabbit. The dog is big. The dog visits the mouse. The mouse chases the cat. The mouse is not blue. The mouse does not see the cat. The rabbit is big. The rabbit visits the cat. The rabbit visits the dog. If someone is big and they chase the dog then they visit the rabbit. If someone is cold then they are not big. If someone is blue then they chase the dog. If someone chases the rabbit and the rabbit is cold then they visit the dog. If someone chases the dog and the dog chases the cat then the dog chases the rabbit. If someone is cold then they see the dog. If someone visits the dog and the dog chases the rabbit then the dog sees the mouse. If someone visits the dog and they are big then they are blue. If someone chases the dog then the dog is blue.
The dog does not chase the rabbit.
@0: The cat does not see the mouse.[(triple2)] The cat is kind.[(triple1)] The cat visits the dog.[(triple3)] The cat visits the rabbit.[(triple4)] The dog is big.[(triple5)] The dog visits the mouse.[(triple6)] The mouse chases the cat.[(triple7)] The mouse does not see the cat.[(triple9)] The mouse is not blue.[(triple8)] The rabbit is big.[(triple10)] The rabbit visits the cat.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The rabbit is blue.[(((triple12 triple10) -> rule8))] @2: The rabbit chases the dog.[(((((triple12 triple10) -> rule8)) -> rule3))] @3: The dog is blue.[(((((((triple12 triple10) -> rule8)) -> rule3)) -> rule9))] The rabbit visits the rabbit.[(((triple10 ((((triple12 triple10) -> rule8)) -> rule3)) -> rule1))] @4: The dog chases the dog.[(((((((((triple12 triple10) -> rule8)) -> rule3)) -> rule9)) -> rule3))] @5: The dog visits the rabbit.[(((triple5 ((((((((triple12 triple10) -> rule8)) -> rule3)) -> rule9)) -> rule3)) -> rule1))]