The cat is round. The cat visits the lion. The dog needs the cat. The dog needs the lion. The dog sees the lion. The lion is big. The lion is not kind. The lion needs the mouse. The lion sees the cat. The lion does not see the dog. The lion visits the dog. The lion does not visit the mouse. The mouse is big. The mouse is round. The mouse is young. The mouse sees the lion. If something needs the lion then the lion visits the cat. If something needs the dog and the dog sees the mouse then it visits the cat. If something visits the lion and it sees the dog then it visits the cat. If something visits the mouse then it is cold. If something needs the cat then it is not cold. If something is big and it visits the cat then the cat visits the mouse. If something visits the mouse and the mouse is young then the mouse sees the cat. If something needs the lion and it visits the cat then the cat does not see the lion.
The dog sees the mouse.
@0: The cat is round.[(triple1)] The cat visits the lion.[(triple2)] The dog needs the cat.[(triple3)] The dog needs the lion.[(triple4)] The dog sees the lion.[(triple5)] The lion does not see the dog.[(triple10)] The lion does not visit the mouse.[(triple12)] The lion is big.[(triple6)] The lion is not kind.[(triple7)] The lion needs the mouse.[(triple8)] The lion sees the cat.[(triple9)] The lion visits the dog.[(triple11)] The mouse is big.[(triple13)] The mouse is round.[(triple14)] The mouse is young.[(triple15)] The mouse sees the lion.[(triple16)] @1: The dog is not cold.[(((triple3) -> rule5))] The lion visits the cat.[(((triple4) -> rule1))] @2: The cat visits the mouse.[(((triple6 ((triple4) -> rule1)) -> rule6))] @3: The cat is cold.[(((((triple6 ((triple4) -> rule1)) -> rule6)) -> rule4))] The mouse sees the cat.[(((((triple6 ((triple4) -> rule1)) -> rule6) triple15) -> rule7))]