The dog chases the rabbit. The dog is round. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is not green. The rabbit is rough. The rabbit is young. The rabbit likes the dog. The rabbit sees the dog. If the rabbit does not chase the dog then the rabbit is not young. If something chases the dog then the dog is green.
The rabbit chases the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is round.[(triple2)] The dog likes the rabbit.[(triple3)] The dog sees the rabbit.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit is not green.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog is green.[(((triple5) -> rule2))]