The bear needs the cow. The cow chases the bear. If someone is nice and they need the bear then they chase the cow. If someone is nice and they need the bear then they are kind. If someone chases the bear then the bear needs the cow. If someone chases the bear and the bear needs the cow then the bear is nice. If someone chases the bear and they are round then the bear chases the cow. If someone sees the bear then they are cold.
The cow sees the bear.
@0: The bear needs the cow.[(triple1 OR ((triple2) -> rule3))] The cow chases the bear.[(triple2)] @1: The bear is nice.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule4))]