The cow eats the rabbit. The cow is big. The cow is blue. The cow is kind. The cow visits the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. If someone visits the rabbit then the rabbit is round. If the rabbit eats the cow and the cow eats the rabbit then the rabbit sees the cow.
The rabbit does not eat the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is big.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is round.[(triple10 OR ((triple5) -> rule1))] The rabbit sees the cow.[(triple11 OR ((triple6 triple1) -> rule2))] The rabbit visits the cow.[(triple12)]