The bear chases the cat. The bear chases the tiger. The bear is not big. The bear likes the cat. The bear needs the cat. The bear needs the tiger. The cat chases the bear. The cat is not big. The cat is cold. The cat likes the tiger. The cat needs the bear. The tiger chases the cat. The tiger is cold. The tiger is kind. The tiger needs the bear. The tiger does not need the cat. If someone chases the tiger then the tiger is blue. If someone chases the cat and they are blue then they like the bear.
The tiger likes the bear.
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear is not big.[(triple3)] The bear likes the cat.[(triple4)] The bear needs the cat.[(triple5)] The bear needs the tiger.[(triple6)] The cat chases the bear.[(triple7)] The cat is cold.[(triple9)] The cat is not big.[(triple8)] The cat likes the tiger.[(triple10)] The cat needs the bear.[(triple11)] The tiger chases the cat.[(triple12)] The tiger does not need the cat.[(triple16)] The tiger is cold.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the bear.[(triple15)] @1: The tiger is blue.[(((triple2) -> rule1))] @2: The tiger likes the bear.[(((triple12 ((triple2) -> rule1)) -> rule2))]