The bear eats the cat. The bear is kind. The bear likes the cat. The bear likes the lion. The cat chases the bear. The cat chases the lion. The cat chases the rabbit. The cat eats the bear. The cat is kind. The cat likes the rabbit. The lion is round. The lion likes the rabbit. The rabbit eats the cat. The rabbit eats the lion. The rabbit is round. The rabbit likes the bear. If something chases the cat and the cat is green then it likes the cat. If something eats the cat then it likes the rabbit. If something chases the rabbit then it eats the lion. If something is round then it chases the cat. If something likes the rabbit then it is round. If something eats the lion and it is kind then it likes the cat.
The bear does not chase the cat.
@0: The bear eats the cat.[(triple1)] The bear is kind.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the lion.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the lion.[(triple6)] The cat chases the rabbit.[(triple7)] The cat eats the bear.[(triple8)] The cat is kind.[(triple9)] The cat likes the rabbit.[(triple10)] The lion is round.[(triple11 OR ((triple12) -> rule5))] The lion likes the rabbit.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is round.[(triple15 OR ((((triple13) -> rule2)) -> rule5))] The rabbit likes the bear.[(triple16)] @1: The bear likes the rabbit.[(((triple1) -> rule2))] The cat eats the lion.[(((triple7) -> rule3))] The cat is round.[(((triple10) -> rule5))] The lion chases the cat.[(((triple11) -> rule4) OR ((((triple12) -> rule5)) -> rule4))] The rabbit chases the cat.[(((triple15) -> rule4) OR ((((((triple13) -> rule2)) -> rule5)) -> rule4))] The rabbit likes the rabbit.[(((triple13) -> rule2))] @2: The bear is round.[(((((triple1) -> rule2)) -> rule5))] The cat chases the cat.[(((((triple10) -> rule5)) -> rule4))] The cat likes the cat.[(((((triple7) -> rule3) triple9) -> rule6))] @3: The bear chases the cat.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))]