The rabbit chases the tiger. The rabbit is rough. The rabbit is round. The rabbit likes the tiger. The rabbit visits the tiger. The tiger is rough. The tiger visits the rabbit. If someone likes the rabbit then the rabbit visits the tiger. If someone likes the rabbit then they visit the rabbit. If someone chases the tiger and the tiger is kind then they are nice. If someone is round and they like the rabbit then the rabbit visits the tiger. If someone likes the tiger then they visit the rabbit. If someone chases the tiger then they chase the rabbit.
The tiger is not rough.
@0: The rabbit chases the tiger.[(triple1)] The rabbit is rough.[(triple2)] The rabbit is round.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit visits the tiger.[(triple5)] The tiger is rough.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The rabbit chases the rabbit.[(((triple1) -> rule6))] The rabbit visits the rabbit.[(((triple4) -> rule5))]