The bear chases the cat. The bear eats the cat. The bear eats the lion. The bear is big. The bear sees the cat. The bear sees the lion. The cat chases the bear. The cat chases the lion. The cat eats the bear. The cat is green. The cat sees the bear. The cat sees the lion. The lion eats the bear. The lion eats the cat. The lion is big. The lion sees the bear. If something chases the cat then the cat chases the lion. If something eats the cat then it sees the bear. All big things are cold. If something is big and cold then it sees the cat. If something is round and it sees the cat then it chases the lion. If the bear chases the cat and the cat sees the bear then the bear sees the lion.
The cat eats the lion.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the lion.[(triple3)] The bear is big.[(triple4)] The bear sees the cat.[(triple5 OR ((triple4 ((triple4) -> rule3)) -> rule4))] The bear sees the lion.[(triple6 OR ((triple1 triple11) -> rule6))] The cat chases the bear.[(triple7)] The cat chases the lion.[(triple8 OR ((triple1) -> rule1))] The cat eats the bear.[(triple9)] The cat is green.[(triple10)] The cat sees the bear.[(triple11)] The cat sees the lion.[(triple12)] The lion eats the bear.[(triple13)] The lion eats the cat.[(triple14)] The lion is big.[(triple15)] The lion sees the bear.[(triple16 OR ((triple14) -> rule2))] @1: The bear is cold.[(((triple4) -> rule3))] The bear sees the bear.[(((triple2) -> rule2))] The lion is cold.[(((triple15) -> rule3))] @2: The lion sees the cat.[(((triple15 ((triple15) -> rule3)) -> rule4))]