The cow likes the lion. The cow sees the lion. The cow sees the rabbit. The lion is not round. The lion likes the cow. The lion sees the rabbit. The lion visits the cow. The rabbit is big. The rabbit is kind. The rabbit does not see the cow. If the lion likes the cow then the cow is round.
The rabbit is kind.
@0: The cow likes the lion.[(triple1)] The cow sees the lion.[(triple2)] The cow sees the rabbit.[(triple3)] The lion is not round.[(triple4)] The lion likes the cow.[(triple5)] The lion sees the rabbit.[(triple6)] The lion visits the cow.[(triple7)] The rabbit does not see the cow.[(triple10)] The rabbit is big.[(triple8)] The rabbit is kind.[(triple9)] @1: The cow is round.[(((triple5) -> rule1))]