The bear chases the rabbit. The bear is blue. The bear is nice. The bear needs the cat. The bear needs the rabbit. The cat visits the rabbit. The rabbit needs the cat. If something needs the rabbit then it is rough. If the cat visits the bear then the cat needs the bear. If something needs the rabbit then the rabbit is kind. If the rabbit chases the cat then the cat is nice. If the cat needs the bear then the bear visits the cat. If something visits the bear and it is kind then it is red.
The bear needs the cat.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the rabbit.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit needs the cat.[(triple7)] @1: The bear is rough.[(((triple5) -> rule1))] The rabbit is kind.[(((triple5) -> rule3))]