The cat eats the rabbit. The cat eats the squirrel. The rabbit does not eat the cat. The rabbit is rough. The rabbit needs the squirrel. The squirrel eats the cat. The squirrel is rough. If someone needs the squirrel then the squirrel is big. If someone is red and they visit the rabbit then they are rough.
The rabbit eats the squirrel.
@0: The cat eats the rabbit.[(triple1)] The cat eats the squirrel.[(triple2)] The rabbit does not eat the cat.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the squirrel.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is rough.[(triple7)] @1: The squirrel is big.[(((triple5) -> rule1))]