The cow eats the rabbit. The cow is big. The cow is cold. The cow is green. The cow is kind. The cow is red. The cow sees the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit sees the cow. The rabbit visits the cow. If the rabbit eats the cow and the cow eats the rabbit then the cow is kind. If the rabbit sees the cow and the cow eats the rabbit then the cow is kind.
The cow is not big.
@0: The cow eats the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5 OR ((triple14 triple1) -> rule2) OR ((triple9 triple1) -> rule1))] The cow is red.[(triple6)] The cow sees the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit is big.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit sees the cow.[(triple14)] The rabbit visits the cow.[(triple15)]