The rabbit is not big. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is not round. The rabbit does not like the squirrel. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is not round. The squirrel does not like the rabbit. The squirrel needs the rabbit. The squirrel visits the rabbit. If someone needs the squirrel and they do not visit the squirrel then they like the rabbit. If someone visits the squirrel then they like the rabbit. If someone needs the squirrel and the squirrel visits the rabbit then they like the rabbit. If someone likes the squirrel and the squirrel is big then the squirrel needs the rabbit. If someone needs the squirrel then the squirrel needs the rabbit. If the rabbit does not need the squirrel and the squirrel does not like the rabbit then the squirrel needs the rabbit.
The rabbit does not visit the rabbit.
@0: The rabbit does not like the squirrel.[(triple6)] The rabbit is green.[(triple2)] The rabbit is not big.[(triple1)] The rabbit is not round.[(triple5)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel does not like the rabbit.[(triple14)] The squirrel is big.[(triple9)] The squirrel is green.[(triple10)] The squirrel is not round.[(triple13)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the rabbit.[(triple15 OR ((triple7) -> rule5))] The squirrel visits the rabbit.[(triple16)] @1: The rabbit likes the rabbit.[(((triple8) -> rule2) OR ((triple7 triple16) -> rule3))]