The cat chases the rabbit. The cat is rough. The rabbit is rough. If someone visits the rabbit then the rabbit visits the cat. If someone visits the rabbit and they visit the cat then the cat does not chase the rabbit. If the cat is nice then the cat does not chase the rabbit. If someone chases the cat then they chase the rabbit. If someone is blue then they eat the cat. If the cat chases the rabbit then the cat visits the rabbit. If someone visits the cat then they are not nice. If the cat eats the rabbit then the rabbit is not big.
The cat is big.
@0: The cat chases the rabbit.[(triple1)] The cat is rough.[(triple2)] The rabbit is rough.[(triple3)] @1: The cat visits the rabbit.[(((triple1) -> rule6))] @2: The rabbit visits the cat.[(((((triple1) -> rule6)) -> rule1))] @3: The rabbit is not nice.[(((((((triple1) -> rule6)) -> rule1)) -> rule7))]