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