The cat is rough. The cat does not visit the lion. The cat does not visit the mouse. The lion chases the rabbit. The lion is big. The lion visits the cat. The mouse sees the cat. The mouse does not see the lion. The rabbit is red. The rabbit visits the mouse. If someone chases the lion then the lion does not see the rabbit. If the mouse sees the rabbit then the mouse chases the lion. If someone sees the mouse and they are cold then the mouse is not big. If someone is red then they do not chase the lion. If someone chases the rabbit then the rabbit sees the lion. If someone chases the cat then the cat does not see the mouse.
The mouse visits the rabbit.
@0: The cat does not visit the lion.[(triple2)] The cat does not visit the mouse.[(triple3)] The cat is rough.[(triple1)] The lion chases the rabbit.[(triple4)] The lion is big.[(triple5)] The lion visits the cat.[(triple6)] The mouse does not see the lion.[(triple8)] The mouse sees the cat.[(triple7)] The rabbit is red.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The rabbit does not chase the lion.[(((triple9) -> rule4))] The rabbit sees the lion.[(((triple4) -> rule5))]