The bear eats the cow. The bear is blue. The bear needs the cat. The bear sees the lion. The cat needs the cow. The cat sees the bear. The cow eats the cat. The cow is round. The cow needs the bear. The cow sees the bear. The cow sees the cat. The lion eats the bear. The lion eats the cat. The lion is blue. The lion sees the cat. If the cow eats the cat and the cat is rough then the cow sees the cat. If something sees the bear and the bear eats the cow then it eats the cat. If something sees the cow and the cow eats the bear then the cow eats the lion. If something sees the bear then the bear needs the cow. If the lion is round then the lion sees the bear. If something is nice then it needs the cow. If something sees the bear and the bear eats the cat then it eats the cat. If something eats the bear and the bear needs the cow then it is nice.
The lion is nice.
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear needs the cat.[(triple3)] The bear sees the lion.[(triple4)] The cat needs the cow.[(triple5)] The cat sees the bear.[(triple6)] The cow eats the cat.[(triple7 OR ((triple10 triple1) -> rule2))] The cow is round.[(triple8)] The cow needs the bear.[(triple9)] The cow sees the bear.[(triple10)] The cow sees the cat.[(triple11)] The lion eats the bear.[(triple12)] The lion eats the cat.[(triple13)] The lion is blue.[(triple14)] The lion sees the cat.[(triple15)] @1: The bear needs the cow.[(((triple10) -> rule4) OR ((triple6) -> rule4))] The cat eats the cat.[(((triple6 triple1) -> rule2))] @2: The lion is nice.[(((triple12 ((triple10) -> rule4)) -> rule8) OR ((triple12 ((triple6) -> rule4)) -> rule8))] @3: The lion needs the cow.[(((((triple12 ((triple10) -> rule4)) -> rule8)) -> rule6) OR ((((triple12 ((triple6) -> rule4)) -> rule8)) -> rule6))]