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