The bear eats the cat. The bear eats the rabbit. The bear is kind. The bear likes the rabbit. The bear needs the cat. The cat eats the bear. The cat is big. The cat is nice. The cat is red. The cat likes the bear. The cat likes the rabbit. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit likes the cat. The rabbit needs the bear. If something likes the bear then the bear is kind.
The rabbit eats the bear.
@0: The bear eats the cat.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is kind.[(triple3 OR ((triple10) -> rule1))] The bear likes the rabbit.[(triple4)] The bear needs the cat.[(triple5)] The cat eats the bear.[(triple6)] The cat is big.[(triple7)] The cat is nice.[(triple8)] The cat is red.[(triple9)] The cat likes the bear.[(triple10)] The cat likes the rabbit.[(triple11)] The rabbit is big.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit needs the bear.[(triple16)]