The rabbit is not kind. The rabbit is not young. The rabbit does not like the squirrel. The rabbit needs the squirrel. The squirrel is big. The squirrel is red. The squirrel is not round. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel visits the rabbit. If something likes the squirrel and it is big then the squirrel needs the rabbit. If something needs the squirrel then the squirrel likes the rabbit.
The rabbit visits the squirrel.
@0: The rabbit does not like the squirrel.[(triple3)] The rabbit is not kind.[(triple1)] The rabbit is not young.[(triple2)] The rabbit needs the squirrel.[(triple4)] The squirrel is big.[(triple5)] The squirrel is not round.[(triple7)] The squirrel is red.[(triple6)] The squirrel likes the rabbit.[(triple8 OR ((triple4) -> rule2))] The squirrel needs the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)]