The bear does not chase the tiger. The bear is not cold. The bear likes the tiger. The bear visits the tiger. The tiger chases the bear. The tiger is not green. The tiger is kind. The tiger is rough. The tiger likes the bear. The tiger does not visit the bear. If someone chases the bear then the bear visits the tiger. If someone chases the bear then they do not like the tiger. If someone is big and not rough then they do not like the bear. If someone likes the tiger then they are big. If someone chases the tiger and they are big then the tiger is not big. If someone chases the bear and the bear is green then the bear chases the tiger. If the bear visits the tiger and the bear does not chase the tiger then the tiger is not green. If someone visits the bear and they do not visit the tiger then the tiger is kind.
The tiger is not big.
@0: The bear does not chase the tiger.[(triple1)] The bear is not cold.[(triple2)] The bear likes the tiger.[(triple3)] The bear visits the tiger.[(triple4 OR ((triple5) -> rule1))] The tiger chases the bear.[(triple5)] The tiger does not visit the bear.[(triple10)] The tiger is kind.[(triple7)] The tiger is not green.[(triple6 OR ((triple4 triple1) -> rule7) OR ((((triple5) -> rule1) triple1) -> rule7))] The tiger is rough.[(triple8)] The tiger likes the bear.[(triple9)] @1: The bear is big.[(((triple3) -> rule4))] The tiger does not like the tiger.[(((triple5) -> rule2))]