The bear chases the rabbit. The bear is cold. The bear is green. The bear likes the rabbit. The bear needs the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is nice. The rabbit likes the bear. The rabbit needs the bear. If something chases the rabbit and the rabbit needs the bear then the bear likes the rabbit.
The rabbit is green.
@0: The bear chases the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear likes the rabbit.[(triple4 OR ((triple1 triple10) -> rule1))] The bear needs the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit needs the bear.[(triple10)]