The bear chases the rabbit. The bear needs the cat. The bear needs the rabbit. The bear sees the cat. The cat chases the rabbit. The cat sees the bear. The rabbit chases the cat. The rabbit is green. The rabbit is round. The rabbit sees the bear. If something needs the cat then it chases the cat. If something is cold then it is green. If something chases the cat and the cat sees the rabbit then the rabbit is nice.
The bear needs the bear.
@0: The bear chases the rabbit.[(triple1)] The bear needs the cat.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the cat.[(triple4)] The cat chases the rabbit.[(triple5)] The cat sees the bear.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit is green.[(triple8)] The rabbit is round.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear chases the cat.[(((triple2) -> rule1))]