The bear chases the lion. The bear is nice. The cat is big. The cat is green. The cat likes the lion. The lion does not see the cat. The rabbit is young. If the lion likes the bear then the bear sees the cat. If something likes the lion then it chases the bear. If something chases the cat then the cat likes the bear. If something likes the lion and the lion likes the rabbit then the rabbit is not green. If something is kind then it is big. If something likes the bear and the bear is kind then it is not green. If something likes the bear then the bear is not kind. If something is green then it chases the cat.
The cat does not like the bear.
@0: The bear chases the lion.[(triple1)] The bear is nice.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat likes the lion.[(triple5)] The lion does not see the cat.[(triple6)] The rabbit is young.[(triple7)] @1: The cat chases the bear.[(((triple5) -> rule2))] The cat chases the cat.[(((triple4) -> rule8))] @2: The cat likes the bear.[(((((triple4) -> rule8)) -> rule3))] @3: The bear is not kind.[(((((((triple4) -> rule8)) -> rule3)) -> rule7))]