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