The bear chases the tiger. The bear eats the tiger. The bear is blue. The bear is green. The bear is kind. The bear is red. The bear is round. The bear visits the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger is green. The tiger is kind. The tiger is red. The tiger is round. The tiger visits the bear. If the bear eats the tiger and the tiger visits the bear then the bear is round. If something chases the tiger and the tiger is green then the tiger eats the bear. If something is red and it eats the tiger then the tiger chases the bear. If something is round then it eats the tiger. If the tiger is kind then the tiger visits the bear. If something visits the tiger then it eats the bear.
The bear is not kind.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2 OR ((triple7) -> rule4))] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is red.[(triple6)] The bear is round.[(triple7 OR ((triple2 triple16) -> rule1) OR ((triple2 ((triple13) -> rule5)) -> rule1))] The bear visits the tiger.[(triple8)] The tiger chases the bear.[(triple9 OR ((triple6 triple2) -> rule3) OR ((triple14 ((triple15) -> rule4)) -> rule3) OR ((triple6 ((triple7) -> rule4)) -> rule3))] The tiger eats the bear.[(triple10 OR ((triple1 triple12) -> rule2))] The tiger is blue.[(triple11)] The tiger is green.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger is round.[(triple15)] The tiger visits the bear.[(triple16 OR ((triple13) -> rule5))] @1: The bear eats the bear.[(((triple8) -> rule6))] The tiger eats the tiger.[(((triple15) -> rule4))]