The bear is big. The bear is kind. The bear sees the lion. The bear sees the tiger. The bear visits the cow. The cow is kind. The cow is red. The cow is rough. The cow likes the tiger. The cow sees the lion. The cow visits the lion. The lion sees the bear. The tiger likes the bear. The tiger visits the bear. The tiger visits the cow. If someone likes the tiger and the tiger likes the lion then the tiger visits the cow. If the lion is cold and the lion visits the tiger then the tiger likes the cow. If someone likes the tiger and they are red then the tiger likes the lion. If someone sees the cow and the cow sees the lion then the cow sees the bear. If someone sees the lion and the lion visits the bear then the bear sees the tiger. If someone sees the tiger then the tiger likes the lion. If the bear visits the cow and the bear visits the tiger then the bear likes the lion. If someone visits the bear then they are cold.
The lion is not cold.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear sees the lion.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the cow.[(triple5)] The cow is kind.[(triple6)] The cow is red.[(triple7)] The cow is rough.[(triple8)] The cow likes the tiger.[(triple9)] The cow sees the lion.[(triple10)] The cow visits the lion.[(triple11)] The lion sees the bear.[(triple12)] The tiger likes the bear.[(triple13)] The tiger visits the bear.[(triple14)] The tiger visits the cow.[(triple15 OR ((triple9 ((triple4) -> rule6)) -> rule1) OR ((triple9 ((triple9 triple7) -> rule3)) -> rule1))] @1: The tiger is cold.[(((triple14) -> rule8))] The tiger likes the lion.[(((triple4) -> rule6) OR ((triple9 triple7) -> rule3))]