The dog is big. The dog is blue. The dog likes the rabbit. The dog visits the lion. The lion chases the dog. The lion likes the dog. The lion likes the rabbit. The lion visits the rabbit. The rabbit is big. The rabbit is rough. The rabbit likes the dog. The rabbit visits the lion. If the lion chases the dog then the dog is cold. If the dog chases the rabbit then the rabbit visits the lion.
The dog is not big.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog likes the rabbit.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion likes the dog.[(triple6)] The lion likes the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The dog is cold.[(((triple5) -> rule1))]