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