The bear eats the rabbit. The bear eats the tiger. The bear visits the cat. The bear visits the rabbit. The cat is cold. The cat visits the tiger. The rabbit eats the tiger. The rabbit likes the bear. The tiger eats the bear. The tiger eats the cat. The tiger eats the rabbit. The tiger is blue. The tiger is cold. The tiger is red. The tiger is rough. If something likes the cat and it is rough then the cat eats the bear. If something eats the cat then it eats the tiger. If something is nice then it likes the rabbit. If the bear eats the rabbit then the rabbit is rough. If something likes the tiger and the tiger is rough then it visits the tiger. If something eats the tiger then it visits the bear.
The bear does not like the rabbit.
@0: The bear eats the rabbit.[(triple1)] The bear eats the tiger.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the rabbit.[(triple4)] The cat is cold.[(triple5)] The cat visits the tiger.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit likes the bear.[(triple8)] The tiger eats the bear.[(triple9)] The tiger eats the cat.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is red.[(triple14)] The tiger is rough.[(triple15)] @1: The bear visits the bear.[(((triple2) -> rule6))] The rabbit is rough.[(((triple1) -> rule4))] The rabbit visits the bear.[(((triple7) -> rule6))] The tiger eats the tiger.[(((triple10) -> rule2))] @2: The tiger visits the bear.[(((((triple10) -> rule2)) -> rule6))]