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