The cat is kind. The cat is rough. The cat likes the rabbit. The cat needs the mouse. The cat sees the cow. The cow is cold. The cow needs the cat. The cow does not need the mouse. The mouse is cold. The mouse is green. The mouse is rough. The mouse sees the rabbit. The rabbit is cold. The rabbit does not need the cat. The rabbit needs the cow. The rabbit sees the cow. If someone sees the cow then they are big.
The cat needs the cat.
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the mouse.[(triple4)] The cat sees the cow.[(triple5)] The cow does not need the mouse.[(triple8)] The cow is cold.[(triple6)] The cow needs the cat.[(triple7)] The mouse is cold.[(triple9)] The mouse is green.[(triple10)] The mouse is rough.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit does not need the cat.[(triple14)] The rabbit is cold.[(triple13)] The rabbit needs the cow.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The cat is big.[(((triple5) -> rule1))] The rabbit is big.[(((triple16) -> rule1))]