The bear eats the rabbit. The bear is cold. The bear is young. The bear likes the rabbit. The cat chases the rabbit. The cat eats the bear. The cat likes the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the bear. The rabbit is big. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit likes the bear. The rabbit likes the cat. If someone likes the rabbit then the rabbit is rough.
The cat does not like the cat.
@0: The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is young.[(triple3)] The bear likes the rabbit.[(triple4)] The cat chases the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The cat likes the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14 OR ((triple4) -> rule1) OR ((triple7) -> rule1))] The rabbit likes the bear.[(triple15)] The rabbit likes the cat.[(triple16)]