The cow likes the lion. The cow does not see the rabbit. The lion is not young. The rabbit is not rough. The rabbit is young. The rabbit sees the cow. The rabbit visits the lion. If something is nice then it visits the lion. If something likes the lion then it does not see the rabbit. If the lion is rough then the lion sees the cow. If something visits the rabbit and the rabbit visits the lion then the lion is young. If something likes the rabbit and it does not visit the rabbit then the rabbit is cold. If something visits the rabbit then it is nice. If something likes the cow then it sees the lion. If something likes the cow and it does not see the rabbit then the rabbit likes the cow.
The rabbit is young.
@0: The cow does not see the rabbit.[(triple2 OR ((triple1) -> rule2))] The cow likes the lion.[(triple1)] The lion is not young.[(triple3)] The rabbit is not rough.[(triple4)] The rabbit is young.[(triple5)] The rabbit sees the cow.[(triple6)] The rabbit visits the lion.[(triple7)]