The bear is rough. The bear likes the cat. The bear likes the rabbit. The cat is green. The cat likes the bear. The cat sees the bear. The cat sees the rabbit. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit likes the bear. The rabbit likes the cat. The rabbit sees the bear. The rabbit sees the cat. The rabbit visits the bear. The rabbit visits the cat. If something likes the cat then the cat likes the bear. If something visits the rabbit and it likes the bear then it sees the bear. If something is kind and it likes the bear then the bear likes the rabbit.
The rabbit likes the bear.
@0: The bear is rough.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the rabbit.[(triple3 OR ((triple10 triple11) -> rule3))] The cat is green.[(triple4)] The cat likes the bear.[(triple5 OR ((triple12) -> rule1) OR ((triple2) -> rule1))] The cat sees the bear.[(triple6)] The cat sees the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit sees the bear.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the cat.[(triple16)]