The bear is round. The cat is kind. The dog needs the cat. If someone needs the bear then the bear likes the dog. If the bear likes the dog and the dog chases the bear then the bear is big. If someone needs the bear and they chase the bear then they are blue. If someone is big and they chase the dog then the dog is cold. If someone likes the dog then the dog needs the bear. If the dog needs the cat then the cat likes the dog. If someone needs the dog then they are big. If someone is kind then they chase the bear.
The cat does not like the dog.
@0: The bear is round.[(triple1)] The cat is kind.[(triple2)] The dog needs the cat.[(triple3)] @1: The cat chases the bear.[(((triple2) -> rule8))] The cat likes the dog.[(((triple3) -> rule6))] @2: The dog needs the bear.[(((((triple3) -> rule6)) -> rule5))] @3: The bear likes the dog.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]