The bear eats the tiger. The bear is big. The bear is cold. The bear likes the tiger. The cow does not eat the rabbit. The cow eats the tiger. The cow likes the rabbit. The cow likes the tiger. The rabbit eats the bear. The rabbit likes the cow. The rabbit does not visit the bear. The rabbit visits the tiger. The tiger is not blue. The tiger likes the bear. The tiger visits the bear. If the tiger visits the bear then the tiger is red. If someone is big then they do not eat the rabbit. If the tiger is blue then the tiger likes the rabbit. If someone is big and they eat the cow then they are not blue. If someone likes the cow then the cow is green. If someone likes the bear and the bear does not eat the rabbit then the bear visits the tiger.
The rabbit is cold.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear likes the tiger.[(triple4)] The cow does not eat the rabbit.[(triple5)] The cow eats the tiger.[(triple6)] The cow likes the rabbit.[(triple7)] The cow likes the tiger.[(triple8)] The rabbit does not visit the bear.[(triple11)] The rabbit eats the bear.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit visits the tiger.[(triple12)] The tiger is not blue.[(triple13)] The tiger likes the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear does not eat the rabbit.[(((triple2) -> rule2))] The cow is green.[(((triple10) -> rule5))] The tiger is red.[(((triple15) -> rule1))] @2: The bear visits the tiger.[(((triple14 ((triple2) -> rule2)) -> rule6))]