The bear is big. The cat likes the bear. The lion chases the cat. The lion is cold. The lion is green. The lion likes the bear. The tiger sees the lion. If something is big and it chases the lion then the lion likes the tiger. If something is young then it likes the tiger. If something is cold and it chases the cat then it chases the bear. If something is big then it likes the tiger. If the cat is cold then the cat sees the bear. If something sees the tiger then it is big. If the tiger is young then the tiger sees the lion. If the tiger is green then the tiger sees the lion.
The bear does not like the tiger.
@0: The bear is big.[(triple1)] The cat likes the bear.[(triple2)] The lion chases the cat.[(triple3)] The lion is cold.[(triple4)] The lion is green.[(triple5)] The lion likes the bear.[(triple6)] The tiger sees the lion.[(triple7)] @1: The bear likes the tiger.[(((triple1) -> rule4))] The lion chases the bear.[(((triple4 triple3) -> rule3))]