The bear chases the rabbit. The bear is kind. The bear is nice. The bear needs the rabbit. The bear visits the rabbit. The bear visits the squirrel. The dog chases the bear. The dog chases the squirrel. The dog is big. The dog is blue. The dog is kind. The rabbit chases the bear. The rabbit is nice. The rabbit visits the dog. The squirrel needs the dog. The squirrel needs the rabbit. If someone needs the rabbit and they chase the rabbit then they need the squirrel. If someone is blue and they visit the squirrel then they are nice. If someone needs the squirrel and the squirrel needs the rabbit then the squirrel chases the rabbit. If the bear visits the dog then the bear is kind. If the dog needs the bear then the bear visits the squirrel. If someone is big then they need the rabbit.
The squirrel chases the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The bear visits the squirrel.[(triple6)] The dog chases the bear.[(triple7)] The dog chases the squirrel.[(triple8)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is kind.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is nice.[(triple13)] The rabbit visits the dog.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The bear needs the squirrel.[(((triple4 triple1) -> rule1))] The dog needs the rabbit.[(((triple9) -> rule6))] @2: The squirrel chases the rabbit.[(((((triple4 triple1) -> rule1) triple16) -> rule3))] @3: The squirrel needs the squirrel.[(((triple16 ((((triple4 triple1) -> rule1) triple16) -> rule3)) -> rule1))]