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