The cat does not eat the rabbit. The cat is not nice. The cat visits the dog. The cat visits the rabbit. The dog eats the cat. The dog does not eat the rabbit. The dog is big. The dog is red. The rabbit does not chase the cat. The rabbit chases the dog. The rabbit is big. The rabbit is not nice. The rabbit does not visit the squirrel. The squirrel chases the dog. The squirrel chases the rabbit. If someone is nice then they are big. If someone is round and they chase the rabbit then they are big. If someone is round and they do not chase the cat then they eat the cat. If someone chases the cat and they visit the rabbit then the rabbit is not red. If someone is big then they eat the squirrel. If someone chases the rabbit then they are nice. If someone visits the rabbit then they chase the squirrel. If someone chases the squirrel and the squirrel eats the dog then the dog visits the cat.
The squirrel is not cold.
@0: The cat does not eat the rabbit.[(triple1)] The cat is not nice.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the rabbit.[(triple4)] The dog does not eat the rabbit.[(triple6)] The dog eats the cat.[(triple5)] The dog is big.[(triple7)] The dog is red.[(triple8)] The rabbit chases the dog.[(triple10)] The rabbit does not chase the cat.[(triple9)] The rabbit does not visit the squirrel.[(triple13)] The rabbit is big.[(triple11)] The rabbit is not nice.[(triple12)] The squirrel chases the dog.[(triple14)] The squirrel chases the rabbit.[(triple15)] @1: The cat chases the squirrel.[(((triple4) -> rule7))] The dog eats the squirrel.[(((triple7) -> rule5))] The rabbit eats the squirrel.[(((triple11) -> rule5))] The squirrel is nice.[(((triple15) -> rule6))] @2: The squirrel is big.[(((((triple15) -> rule6)) -> rule1))] @3: The squirrel eats the squirrel.[(((((((triple15) -> rule6)) -> rule1)) -> rule5))]