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