The bear eats the cat. The bear eats the tiger. The bear is blue. The bear is red. The bear is rough. The bear is round. The bear needs the cat. The cat is red. The cat likes the bear. The cat needs the bear. The cat needs the tiger. The tiger eats the bear. The tiger eats the cat. The tiger is green. The tiger likes the bear. The tiger needs the bear. If something eats the cat then it is red. If something needs the bear and it eats the tiger then it likes the cat. If something likes the cat then it is rough. If something likes the tiger then it is blue. If something eats the bear and it does not need the tiger then the tiger likes the bear. If something is green then it eats the tiger.
The tiger is not red.
@0: The bear eats the cat.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is red.[(triple4 OR ((triple1) -> rule1))] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear needs the cat.[(triple7)] The cat is red.[(triple8)] The cat likes the bear.[(triple9)] The cat needs the bear.[(triple10)] The cat needs the tiger.[(triple11)] The tiger eats the bear.[(triple12)] The tiger eats the cat.[(triple13)] The tiger is green.[(triple14)] The tiger likes the bear.[(triple15)] The tiger needs the bear.[(triple16)] @1: The tiger eats the tiger.[(((triple14) -> rule6))] The tiger is red.[(((triple13) -> rule1))] @2: The tiger likes the cat.[(((triple16 ((triple14) -> rule6)) -> rule2))] @3: The tiger is rough.[(((((triple16 ((triple14) -> rule6)) -> rule2)) -> rule3))]