The cat chases the lion. The cat chases the rabbit. The cat is not rough. The lion is big. The rabbit chases the cat. The rabbit does not chase the lion. The rabbit eats the cat. The rabbit eats the lion. The rabbit is nice. The rabbit visits the cat. If something visits the cat then it is green. If something eats the cat and the cat is not cold then the cat is green. If something visits the rabbit and the rabbit visits the cat then the cat is not nice.
The rabbit does not eat the lion.
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is not rough.[(triple3)] The lion is big.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit does not chase the lion.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is nice.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The rabbit is green.[(((triple10) -> rule1))]