The cat is not blue. The cat is cold. The cat is not green. The cat is red. The cat is young. The cat likes the lion. The cat sees the lion. The cat visits the lion. The lion is blue. The lion is cold. The lion is green. The lion is young. The lion likes the cat. The lion sees the cat. The lion visits the cat. If someone visits the cat then they do not visit the lion. If someone likes the lion then they see the cat. If someone sees the lion then the lion is not red. If someone likes the cat and they see the lion then the lion is red. If someone likes the cat then the cat likes the lion. If someone is green and they visit the lion then the lion visits the cat.
The lion does not like the cat.
@0: The cat is cold.[(triple2)] The cat is not blue.[(triple1)] The cat is not green.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat likes the lion.[(triple6 OR ((triple13) -> rule5))] The cat sees the lion.[(triple7)] The cat visits the lion.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is young.[(triple12)] The lion likes the cat.[(triple13)] The lion sees the cat.[(triple14)] The lion visits the cat.[(triple15)] @1: The cat sees the cat.[(((triple6) -> rule2) OR ((((triple13) -> rule5)) -> rule2))] The lion does not visit the lion.[(((triple15) -> rule1))] The lion is not red.[(((triple7) -> rule3))]