The cat is not big. The cat sees the tiger. The dog is not big. The dog does not see the tiger. The mouse likes the dog. The mouse visits the tiger. The tiger is green. If someone is red then they are green. If someone visits the dog then they like the dog. If someone likes the dog then they see the mouse. If someone visits the cat and they do not like the cat then they see the tiger. If someone visits the tiger then the tiger visits the dog. If someone is big and they like the tiger then the tiger visits the mouse. If someone sees the dog and the dog sees the cat then they like the mouse. If the cat visits the mouse and the cat does not like the dog then the cat likes the mouse.
The cat is big.
@0: The cat is not big.[(triple1)] The cat sees the tiger.[(triple2)] The dog does not see the tiger.[(triple4)] The dog is not big.[(triple3)] The mouse likes the dog.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger is green.[(triple7)] @1: The mouse sees the mouse.[(((triple5) -> rule3))] The tiger visits the dog.[(((triple6) -> rule5))] @2: The tiger likes the dog.[(((((triple6) -> rule5)) -> rule2))] @3: The tiger sees the mouse.[(((((((triple6) -> rule5)) -> rule2)) -> rule3))]