The cow eats the rabbit. The cow is big. The cow is cold. The cow is kind. The cow is rough. The cow is round. The cow needs the rabbit. The cow visits the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the cow. The rabbit visits the cow. If the cow visits the rabbit then the cow needs the rabbit. If someone needs the rabbit and the rabbit eats the cow then the rabbit visits the cow. If the rabbit needs the cow and the rabbit is cold then the rabbit visits the cow. If someone eats the cow then the cow eats the rabbit. All big, round people are kind. If someone eats the rabbit then they are round.
The rabbit does not visit the rabbit.
@0: The cow eats the rabbit.[(triple1 OR ((triple9) -> rule4))] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4 OR ((triple2 triple6) -> rule5) OR ((triple2 ((triple1) -> rule6)) -> rule5) OR ((triple2 ((((triple9) -> rule4)) -> rule6)) -> rule5))] The cow is rough.[(triple5)] The cow is round.[(triple6 OR ((triple1) -> rule6) OR ((((triple9) -> rule4)) -> rule6))] The cow needs the rabbit.[(triple7 OR ((triple8) -> rule1))] The cow visits the rabbit.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit is big.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12 OR ((triple10 triple14) -> rule5))] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the cow.[(triple15)] The rabbit visits the cow.[(triple16 OR ((triple15 triple11) -> rule3) OR ((triple7 triple9) -> rule2) OR ((((triple8) -> rule1) triple9) -> rule2))]