The cat is rough. The cat is round. The cat likes the tiger. The cat sees the mouse. The mouse is rough. The mouse is not round. The mouse likes the cat. The mouse likes the tiger. The mouse needs the cat. The mouse needs the tiger. The mouse sees the cat. The mouse does not see the tiger. The tiger is nice. The tiger does not like the mouse. The tiger needs the cat. The tiger sees the cat. If the mouse does not see the cat then the mouse is not cold. If someone is nice then they need the cat. If someone likes the cat then the cat needs the mouse. If someone likes the cat then the cat sees the mouse. If the cat likes the mouse then the cat sees the tiger. If the tiger is round and the tiger does not need the cat then the cat sees the tiger.
The mouse does not like the tiger.
@0: The cat is rough.[(triple1)] The cat is round.[(triple2)] The cat likes the tiger.[(triple3)] The cat sees the mouse.[(triple4 OR ((triple7) -> rule4))] The mouse does not see the tiger.[(triple12)] The mouse is not round.[(triple6)] The mouse is rough.[(triple5)] The mouse likes the cat.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse needs the cat.[(triple9)] The mouse needs the tiger.[(triple10)] The mouse sees the cat.[(triple11)] The tiger does not like the mouse.[(triple14)] The tiger is nice.[(triple13)] The tiger needs the cat.[(triple15 OR ((triple13) -> rule2))] The tiger sees the cat.[(triple16)] @1: The cat needs the mouse.[(((triple7) -> rule3))]