The cat eats the mouse. The cat is big. The cat is blue. The cat is nice. The cat is not round. The cat is young. The cat sees the mouse. The cat visits the mouse. The mouse does not eat the cat. The mouse is big. The mouse is blue. The mouse is nice. The mouse is round. The mouse sees the cat. The mouse does not visit the cat. If something is nice then it sees the cat. If the cat is round and the cat does not eat the mouse then the mouse does not eat the cat.
The mouse sees the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is not round.[(triple5)] The cat is young.[(triple6)] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse does not eat the cat.[(triple9)] The mouse does not visit the cat.[(triple15)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is nice.[(triple12)] The mouse is round.[(triple13)] The mouse sees the cat.[(triple14 OR ((triple12) -> rule1))] @1: The cat sees the cat.[(((triple4) -> rule1))]