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