The cat chases the lion. The cat chases the mouse. The cat chases the rabbit. The cat is red. The cat visits the lion. The cat does not visit the rabbit. The lion chases the cat. The lion eats the mouse. The lion visits the rabbit. The mouse chases the rabbit. The mouse eats the lion. The mouse is rough. The rabbit chases the mouse. The rabbit does not visit the cat. The rabbit visits the mouse. If someone is cold and not red then they do not chase the cat. If someone chases the rabbit and the rabbit chases the mouse then the mouse is not cold. If someone eats the mouse and the mouse does not chase the cat then they do not eat the cat.
The rabbit visits the rabbit.
@0: The cat chases the lion.[(triple1)] The cat chases the mouse.[(triple2)] The cat chases the rabbit.[(triple3)] The cat does not visit the rabbit.[(triple6)] The cat is red.[(triple4)] The cat visits the lion.[(triple5)] The lion chases the cat.[(triple7)] The lion eats the mouse.[(triple8)] The lion visits the rabbit.[(triple9)] The mouse chases the rabbit.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is rough.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit does not visit the cat.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse is not cold.[(((triple10 triple13) -> rule2) OR ((triple3 triple13) -> rule2))]