The cow eats the rabbit. The cow is nice. The cow needs the rabbit. The rabbit eats the cow. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit needs the cow. The rabbit visits the cow. If someone visits the cow then the cow needs the rabbit.
The rabbit is rough.
@0: The cow eats the rabbit.[(triple1)] The cow is nice.[(triple2)] The cow needs the rabbit.[(triple3 OR ((triple10) -> rule1))] The rabbit eats the cow.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit visits the cow.[(triple10)]