The bear is cold. The bear likes the cow. The bear visits the lion. The cat does not chase the cow. The cat chases the lion. The cat is rough. The cat likes the bear. The cat visits the lion. The cow does not chase the cat. The cow chases the lion. The cow does not like the bear. The cow visits the cat. The cow visits the lion. The lion chases the cow. The lion likes the cat. The lion visits the cat. If the lion visits the cow then the lion is rough. Rough people are cold. If someone chases the cat and they are not rough then the cat is not round.
The lion visits the cat.
@0: The bear is cold.[(triple1)] The bear likes the cow.[(triple2)] The bear visits the lion.[(triple3)] The cat chases the lion.[(triple5)] The cat does not chase the cow.[(triple4)] The cat is rough.[(triple6)] The cat likes the bear.[(triple7)] The cat visits the lion.[(triple8)] The cow chases the lion.[(triple10)] The cow does not chase the cat.[(triple9)] The cow does not like the bear.[(triple11)] The cow visits the cat.[(triple12)] The cow visits the lion.[(triple13)] The lion chases the cow.[(triple14)] The lion likes the cat.[(triple15)] The lion visits the cat.[(triple16)] @1: The cat is cold.[(((triple6) -> rule2))]