The cow eats the squirrel. The cow is big. The cow is blue. The cow is not nice. The cow needs the rabbit. The cow sees the lion. The cow sees the rabbit. The lion eats the cow. The lion does not see the squirrel. The rabbit is blue. The rabbit needs the cow. The rabbit needs the lion. The rabbit sees the lion. The squirrel eats the cow. The squirrel needs the cow. If someone eats the cow then the cow is round. If the rabbit does not see the squirrel then the squirrel is blue. If someone is blue then they need the squirrel. If someone needs the lion and they eat the squirrel then the squirrel does not see the rabbit. If someone eats the squirrel and they are not young then the squirrel sees the lion. If someone sees the cow and the cow needs the lion then the cow is nice. If someone needs the cow then the cow needs the squirrel. If someone needs the cow and the cow does not see the lion then the cow sees the rabbit.
The cow is big.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is not nice.[(triple4)] The cow needs the rabbit.[(triple5)] The cow sees the lion.[(triple6)] The cow sees the rabbit.[(triple7)] The lion does not see the squirrel.[(triple9)] The lion eats the cow.[(triple8)] The rabbit is blue.[(triple10)] The rabbit needs the cow.[(triple11)] The rabbit needs the lion.[(triple12)] The rabbit sees the lion.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The cow is round.[(((triple14) -> rule1) OR ((triple8) -> rule1))] The cow needs the squirrel.[(((triple11) -> rule7) OR ((triple15) -> rule7) OR ((triple3) -> rule3))] The rabbit needs the squirrel.[(((triple10) -> rule3))]