The bear is kind. The cow likes the dog. The dog is big. If someone chases the bear then the bear needs the cow. All big people are red. If someone needs the dog and they are red then the dog needs the cow. If someone is red then they like the dog. If someone is red and they chase the bear then the bear chases the dog. If someone likes the cow and they need the cow then they chase the cow. All young people are red. If someone chases the cow then they are young.
The dog is not big.
@0: The bear is kind.[(triple1)] The cow likes the dog.[(triple2)] The dog is big.[(triple3)] @1: The dog is red.[(((triple3) -> rule2))] @2: The dog likes the dog.[(((((triple3) -> rule2)) -> rule4))]