The cat chases the rabbit. The cat eats the cow. The cat is big. The cat is round. The cow chases the rabbit. The cow eats the cat. The cow eats the rabbit. The cow is nice. The cow sees the cat. The cow sees the rabbit. The rabbit does not chase the cat. The rabbit chases the cow. The rabbit eats the cat. The rabbit eats the cow. The rabbit sees the cow. If someone is big and not red then they eat the rabbit. If someone is big then they see the cat.
The rabbit is big.
@0: The cat chases the rabbit.[(triple1)] The cat eats the cow.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cow chases the rabbit.[(triple5)] The cow eats the cat.[(triple6)] The cow eats the rabbit.[(triple7)] The cow is nice.[(triple8)] The cow sees the cat.[(triple9)] The cow sees the rabbit.[(triple10)] The rabbit chases the cow.[(triple12)] The rabbit does not chase the cat.[(triple11)] The rabbit eats the cat.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit sees the cow.[(triple15)] @1: The cat sees the cat.[(((triple3) -> rule2))]