The cat chases the mouse. The cat is round. The cat likes the rabbit. The dog chases the cat. The dog chases the rabbit. The dog is round. The dog likes the cat. The dog visits the mouse. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is green. The rabbit is rough. The rabbit likes the dog. The rabbit visits the cat. The rabbit visits the mouse. All green things are nice.
The cat is not round.
@0: The cat chases the mouse.[(triple1)] The cat is round.[(triple2)] The cat likes the rabbit.[(triple3)] The dog chases the cat.[(triple4)] The dog chases the rabbit.[(triple5)] The dog is round.[(triple6)] The dog likes the cat.[(triple7)] The dog visits the mouse.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the mouse.[(triple16)] @1: The rabbit is nice.[(((triple12) -> rule1))]