The cat is not big. The cat likes the tiger. The cat needs the tiger. The cat sees the cow. The cow is kind. The cow is young. The cow needs the cat. The cow sees the cat. The cow sees the tiger. The tiger is blue. The tiger is cold. The tiger is young. The tiger likes the cow. The tiger sees the cat. The tiger sees the cow. If someone is young then they are blue. If someone is young and cold then they need the cat. If the tiger needs the cat then the tiger needs the cow. If someone sees the tiger and they are not big then the tiger sees the cat. If the cow sees the cat and the cow likes the cat then the cow does not need the cat. If someone needs the tiger then the tiger is blue. If someone is kind and they do not need the cow then the cow needs the tiger. If someone is kind and they do not need the cow then the cow likes the tiger.
The cat is not blue.
@0: The cat is not big.[(triple1)] The cat likes the tiger.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the cow.[(triple4)] The cow is kind.[(triple5)] The cow is young.[(triple6)] The cow needs the cat.[(triple7)] The cow sees the cat.[(triple8)] The cow sees the tiger.[(triple9)] The tiger is blue.[(triple10 OR ((triple12) -> rule1) OR ((triple3) -> rule6))] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] The tiger likes the cow.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the cow.[(triple15)] @1: The cow is blue.[(((triple6) -> rule1))] The tiger needs the cat.[(((triple12 triple11) -> rule2))] @2: The tiger needs the cow.[(((((triple12 triple11) -> rule2)) -> rule3))]