The bear eats the cat. The bear eats the rabbit. The bear is cold. The bear is kind. The bear visits the lion. The cat eats the lion. The cat eats the rabbit. The cat likes the lion. The lion eats the rabbit. The rabbit visits the lion. If something eats the lion and the lion eats the bear then the bear eats the cat. If something is kind and it likes the lion then it likes the cat. If something eats the cat then the cat is big. If something eats the rabbit and the rabbit likes the bear then the rabbit is kind. If the rabbit visits the cat then the rabbit is cold. If something is cold then it likes the rabbit. If something eats the cat then the cat likes the lion. If something eats the bear and the bear eats the lion then the bear is kind.
The lion does not like the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear visits the lion.[(triple5)] The cat eats the lion.[(triple6)] The cat eats the rabbit.[(triple7)] The cat likes the lion.[(triple8 OR ((triple1) -> rule7))] The lion eats the rabbit.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The bear likes the rabbit.[(((triple3) -> rule6))] The cat is big.[(((triple1) -> rule3))]