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