The cat is big. The cat visits the dog. The dog likes the mouse. The dog needs the mouse. The dog visits the mouse. The lion is big. The lion needs the cat. The lion does not need the dog. The lion visits the cat. The mouse needs the cat. The mouse needs the lion. The mouse visits the dog. If someone likes the lion then they are cold. If someone visits the dog then they need the cat. If someone needs the cat then they are green. If someone visits the cat then the cat does not like the mouse. If someone visits the mouse then they visit the dog. If someone is cold then they like the dog. If someone is green and not cold then they are round. If someone likes the cat and the cat does not like the dog then they need the dog.
The lion likes the lion.
@0: The cat is big.[(triple1)] The cat visits the dog.[(triple2)] The dog likes the mouse.[(triple3)] The dog needs the mouse.[(triple4)] The dog visits the mouse.[(triple5)] The lion does not need the dog.[(triple8)] The lion is big.[(triple6)] The lion needs the cat.[(triple7)] The lion visits the cat.[(triple9)] The mouse needs the cat.[(triple10 OR ((triple12) -> rule2))] The mouse needs the lion.[(triple11)] The mouse visits the dog.[(triple12)] @1: The cat does not like the mouse.[(((triple9) -> rule4))] The cat needs the cat.[(((triple2) -> rule2))] The dog visits the dog.[(((triple5) -> rule5))] The lion is green.[(((triple7) -> rule3))] The mouse is green.[(((triple10) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] @2: The cat is green.[(((((triple2) -> rule2)) -> rule3))] The dog needs the cat.[(((((triple5) -> rule5)) -> rule2))] @3: The dog is green.[(((((((triple5) -> rule5)) -> rule2)) -> rule3))]