The bear chases the cow. The bear is cold. The bear is round. The bear needs the cow. The bear needs the lion. The bear needs the tiger. The cow is blue. The lion does not see the bear. The lion does not see the tiger. The tiger does not chase the cow. The tiger is big. The tiger is cold. The tiger is red. The tiger sees the cow. The tiger sees the lion. If something needs the cow and it sees the cow then it sees the bear. If something is big then it sees the tiger. If something sees the tiger and it is big then it needs the cow. If something chases the lion then the lion sees the bear. If something chases the tiger then it chases the lion. If the bear sees the lion then the lion does not need the bear. If something sees the bear and it is cold then the bear is blue. If something is big and it sees the lion then the lion chases the bear.
The lion is big.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the lion.[(triple5)] The bear needs the tiger.[(triple6)] The cow is blue.[(triple7)] The lion does not see the bear.[(triple8)] The lion does not see the tiger.[(triple9)] The tiger does not chase the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is red.[(triple13)] The tiger sees the cow.[(triple14)] The tiger sees the lion.[(triple15)] @1: The lion chases the bear.[(((triple11 triple15) -> rule8))] The tiger sees the tiger.[(((triple11) -> rule2))] @2: The tiger needs the cow.[(((((triple11) -> rule2) triple11) -> rule3))] @3: The tiger sees the bear.[(((((((triple11) -> rule2) triple11) -> rule3) triple14) -> rule1))] @4: The bear is blue.[(((((((((triple11) -> rule2) triple11) -> rule3) triple14) -> rule1) triple12) -> rule7))]