The bear is round. The dog needs the bear. The rabbit is round. The squirrel is green. All round people are big. If someone needs the rabbit and the rabbit needs the bear then they need the bear. If someone is green and round then they eat the squirrel. If the rabbit needs the dog and the rabbit eats the bear then the rabbit eats the squirrel. If the bear is kind then the bear eats the squirrel. If someone is blue then they need the dog. If someone eats the dog then the dog likes the bear. If the dog is round then the dog likes the squirrel.
The squirrel does not need the bear.
@0: The bear is round.[(triple1)] The dog needs the bear.[(triple2)] The rabbit is round.[(triple3)] The squirrel is green.[(triple4)] @1: The bear is big.[(((triple1) -> rule1))] The rabbit is big.[(((triple3) -> rule1))]