The bear likes the lion. The bear needs the lion. The bear needs the tiger. The cow likes the lion. The cow needs the tiger. The lion likes the tiger. The lion needs the tiger. The lion visits the bear. The lion visits the tiger. The tiger is blue. The tiger is kind. The tiger is nice. The tiger likes the bear. The tiger needs the cow. The tiger needs the lion. If someone visits the lion and the lion is cold then they visit the cow. If someone needs the lion then they visit the cow. If someone needs the tiger then the tiger visits the cow. If someone likes the bear then they need the cow. If someone needs the tiger then they like the bear. If someone visits the bear then they are blue.
The cow is blue.
@0: The bear likes the lion.[(triple1)] The bear needs the lion.[(triple2)] The bear needs the tiger.[(triple3)] The cow likes the lion.[(triple4)] The cow needs the tiger.[(triple5)] The lion likes the tiger.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger likes the bear.[(triple13)] The tiger needs the cow.[(triple14 OR ((triple13) -> rule4))] The tiger needs the lion.[(triple15)] @1: The bear likes the bear.[(((triple3) -> rule5))] The bear visits the cow.[(((triple2) -> rule2))] The cow likes the bear.[(((triple5) -> rule5))] The lion is blue.[(((triple8) -> rule6))] The lion likes the bear.[(((triple7) -> rule5))] The tiger visits the cow.[(((triple15) -> rule2) OR ((triple3) -> rule3) OR ((triple5) -> rule3) OR ((triple7) -> rule3))] @2: The bear needs the cow.[(((((triple3) -> rule5)) -> rule4))] The cow needs the cow.[(((((triple5) -> rule5)) -> rule4))] The lion needs the cow.[(((((triple7) -> rule5)) -> rule4))]