The cat is blue. The cat is young. The cat likes the cow. The cat likes the tiger. The cow is cold. The cow needs the tiger. The cow sees the cat. The tiger is cold. The tiger needs the cat. The tiger needs the cow. If something likes the cat and it is not rough then it is not blue. If something is cold then it is not blue. If something needs the tiger and the tiger does not like the cat then the tiger does not see the cow. If something likes the tiger then the tiger sees the cow. If something likes the tiger then the tiger sees the cow. If something sees the cat and the cat is rough then the cat does not see the cow. If the tiger sees the cow and the cat does not need the tiger then the cow needs the cat. If something likes the cat then it likes the cow.
The tiger does not like the cow.
@0: The cat is blue.[(triple1)] The cat is young.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the tiger.[(triple4)] The cow is cold.[(triple5)] The cow needs the tiger.[(triple6)] The cow sees the cat.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the cat.[(triple9)] The tiger needs the cow.[(triple10)] @1: The cow is not blue.[(((triple5) -> rule2))] The tiger is not blue.[(((triple8) -> rule2))] The tiger sees the cow.[(((triple4) -> rule4) OR ((triple4) -> rule5))]