The cat chases the mouse. The cat is blue. The cat is not red. The cat is rough. The cat is round. The cat is not young. The cat sees the mouse. The cat does not visit the mouse. The mouse chases the cat. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. The mouse sees the cat. The mouse visits the cat. If someone is young and they see the cat then the cat sees the mouse. If someone visits the mouse then they are rough. If someone sees the mouse then they are round.
The cat does not see the mouse.
@0: The cat chases the mouse.[(triple1)] The cat does not visit the mouse.[(triple8)] The cat is blue.[(triple2)] The cat is not red.[(triple3)] The cat is not young.[(triple6)] The cat is rough.[(triple4)] The cat is round.[(triple5 OR ((triple7) -> rule3) OR ((((triple14 triple15) -> rule1)) -> rule3))] The cat sees the mouse.[(triple7 OR ((triple14 triple15) -> rule1))] The mouse chases the cat.[(triple9)] The mouse is blue.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse sees the cat.[(triple15)] The mouse visits the cat.[(triple16)]