The bear is not round. The bear visits the rabbit. The dog eats the tiger. The dog likes the rabbit. The dog likes the tiger. The rabbit is round. The rabbit does not like the tiger. The rabbit visits the bear. The tiger is not kind. The tiger does not like the bear. If the bear likes the dog and the dog is nice then the dog likes the tiger. If someone visits the bear then the bear is not cold. If the bear does not like the rabbit then the rabbit is not round. If someone likes the tiger then the tiger is not nice. If someone eats the dog then the dog eats the rabbit. If someone visits the dog then they do not eat the tiger. If the dog eats the rabbit then the dog does not visit the tiger. If someone is round then they eat the bear.
The dog likes the rabbit.
@0: The bear is not round.[(triple1)] The bear visits the rabbit.[(triple2)] The dog eats the tiger.[(triple3)] The dog likes the rabbit.[(triple4)] The dog likes the tiger.[(triple5)] The rabbit does not like the tiger.[(triple7)] The rabbit is round.[(triple6)] The rabbit visits the bear.[(triple8)] The tiger does not like the bear.[(triple10)] The tiger is not kind.[(triple9)] @1: The bear is not cold.[(((triple8) -> rule2))] The rabbit eats the bear.[(((triple6) -> rule8))] The tiger is not nice.[(((triple5) -> rule4))]