The cow chases the rabbit. The cow is big. The cow is blue. The cow is red. The cow is round. The cow likes the rabbit. The cow sees the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit likes the cow. The rabbit sees the cow. If someone is red then they like the cow. If someone likes the cow then the cow is big. If someone sees the cow then the cow is round.
The rabbit does not chase the rabbit.
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2 OR ((triple14) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5 OR ((triple15) -> rule3))] The cow likes the rabbit.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is big.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the cow.[(triple14 OR ((triple12) -> rule1))] The rabbit sees the cow.[(triple15)] @1: The cow likes the cow.[(((triple4) -> rule1))]