The cow is round. The cow sees the rabbit. The cow visits the rabbit. The lion chases the rabbit. The lion is blue. The lion is kind. The lion is red. The lion visits the cow. The rabbit sees the cow. The rabbit sees the lion. If someone visits the lion then they are rough. If someone chases the rabbit and the rabbit is kind then the rabbit is round. If someone sees the lion then the lion is blue.
The rabbit is not rough.
@0: The cow is round.[(triple1)] The cow sees the rabbit.[(triple2)] The cow visits the rabbit.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is blue.[(triple5 OR ((triple10) -> rule3))] The lion is kind.[(triple6)] The lion is red.[(triple7)] The lion visits the cow.[(triple8)] The rabbit sees the cow.[(triple9)] The rabbit sees the lion.[(triple10)]