The cat is cold. The cat is green. The cat is not young. The cat likes the mouse. The cat does not see the mouse. The cat visits the mouse. The mouse is nice. The mouse is rough. The mouse is not young. The mouse does not like the cat. The mouse sees the cat. The mouse visits the cat. If someone is young and not green then they like the cat. If the mouse visits the cat and the cat visits the mouse then the cat likes the mouse.
The cat visits the cat.
@0: The cat does not see the mouse.[(triple5)] The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is not young.[(triple3)] The cat likes the mouse.[(triple4 OR ((triple12 triple6) -> rule2))] The cat visits the mouse.[(triple6)] The mouse does not like the cat.[(triple10)] The mouse is nice.[(triple7)] The mouse is not young.[(triple9)] The mouse is rough.[(triple8)] The mouse sees the cat.[(triple11)] The mouse visits the cat.[(triple12)]