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