The bear is cold. The bear is nice. The dog does not eat the rabbit. The dog is cold. The dog visits the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is nice. The rabbit is not round. The rabbit likes the dog. The rabbit visits the bear. The rabbit visits the dog. If someone is cold then they do not eat the rabbit. If the rabbit is blue then the rabbit likes the bear. If someone likes the rabbit and they are nice then they are green.
The dog is cold.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The dog does not eat the rabbit.[(triple3 OR ((triple4) -> rule1))] The dog is cold.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is not round.[(triple9)] The rabbit likes the dog.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The bear does not eat the rabbit.[(((triple1) -> rule1))] The rabbit likes the bear.[(((triple7) -> rule2))]